
Let d = 1.5508 + -1.5508. Which is smaller: 278 or d?
d
Let h = -642156/5 - -128927. Let z = h - 498. Suppose -13*u = -87 + 100. Which is smaller: u or z?
z
Let q(b) = 777*b - 39. Let m be q(5). Let o be (6 - (m/(-6) + 3))*1. Which is greater: o or 643?
o
Let s = -146 + 205. Suppose 4*t + s + 133 = 0. Let c be -15*(2 - -1) - 2. Is t at most as big as c?
True
Let u = 15401 - 13308. Is u smaller than 2093?
False
Let t = 73 - 74. Let c = -7.2 - -111.2. Let d = 104 - c. Which is smaller: d or t?
t
Let f be (-1)/11*(-2)/(-7). Let d be -1*2/(-2)*(132 + -133). Do d and f have the same value?
False
Let o be 4/(9/(-27) + 21477/9). Is 0 greater than o?
False
Let z = 2116 - 6737. Are z and -4621 unequal?
False
Let z = 86 + -100. Let i(w) = 2*w + 36. Let g be i(z). Let c = 535 - 2632/5. Which is bigger: g or c?
c
Let g be (-1008)/168 + (-101)/(-17). Which is smaller: -7 or g?
-7
Suppose 252 = 11*f - 2*f. Let c be (-540)/75 - 2/(-10). Let g(b) = 2*b**2 + 12*b + 13. Let k be g(c). Which is smaller: k or f?
k
Suppose 5*m = -3*x + 9*m - 11, 26 = 2*x + 4*m. Let k(j) = -j**2 + 4*j - 2. Let h be k(x). Let b be h/(-2 - (-3 + 2)). Which is greater: -1/35 or b?
-1/35
Suppose 2*t - 3*x = 9, 0 = -5*x + 36 - 51. Is -0.109 != t?
True
Suppose -4378 = -2*l - 4380. Is l at most -493?
False
Let y = -0.059 - -0.089. Let k = 0.08 + y. Let j = -1.79 - k. Is 2 <= j?
False
Let i = 576 - 607. Let s = i + 31.12. Which is greater: -9 or s?
s
Let y = -4 + 4. Suppose -5*x = 3*l - y*l + 8, -5 = -x. Let p be 1*11*(3 - (1 - -3)). Are p and l equal?
True
Let v(g) = -11*g + 43. Let b be v(3). Suppose 2*x = 2*n - b, 3*x = 4*x + n - 1. Which is greater: 3 or x?
3
Let a = -30523/2 + 15261. Is 0.017 less than or equal to a?
False
Let y = -2.154 - -13.103. Let u = -0.051 - y. Is u not equal to 0.08?
True
Suppose 5 = -o, 0 = -47*n + 43*n - 5*o + 87. Suppose -f = 5*t - 0*f - 41, -29 = -3*t - 5*f. Let b be t*(0 + (-2)/n). Is b at least as big as -2?
True
Let s(a) = -2*a**3 - 3*a**2 - 2*a - 3. Let d be s(-2). Suppose -5*l = -0*l - 10. Suppose -2*v = -d*j - 2, 5*v - l*j = -3*j + 5. Which is bigger: v or 2?
2
Let k = -5159.1 - -5159. Which is smaller: k or 1128?
k
Suppose 467*z + 11594 = 489*z. Which is bigger: 521 or z?
z
Suppose -2*b - 364 = -4*a, 4*b - 8*b = -2*a + 758. Which is bigger: b or -197?
b
Let d be ((-102)/4)/(6/40). Let p = -3278 + 3108. Are d and p non-equal?
False
Let s be (60/(-36))/(25/510). Which is smaller: -33 or s?
s
Suppose 9*b - 8*b - c - 43 = 0, -2*c + 94 = 2*b. Let v = -100 + 28. Let l = v + b. Is -26 greater than l?
True
Let i(q) = -3155*q + 9. Let v be i(-1). Let m = -34840/11 + v. Is m <= 0?
True
Let h = 1858 - 9323/5. Let n(g) = -68*g + 523. Let a(i) = -23*i + 174. Let s(x) = 11*a(x) - 4*n(x). Let r be s(9). Is r < h?
True
Let n be (-2)/(-3)*(-247515)/(-58). Do 2845 and n have different values?
False
Let r be (23 - 31 - ((-1852)/310 - 2))*-67. Is r less than 2?
True
Let b(w) = 8*w**2 - 33*w + 10. Let f be b(6). Suppose 21*z - 19*z = f. Is 50 at most as big as z?
True
Let k = 0.85293 - -0.04707. Is k less than 328?
True
Let d = 148 - 127. Let u(l) = 5*l - 106. Let h be u(d). Is h < 1/126?
True
Let o be (-348798)/50 + 4 + -6. Let w = 6977 + o. Is -1 equal to w?
False
Suppose -532*t = 3*n - 534*t + 6813, 4*n = -5*t - 9061. Is n not equal to -2267?
True
Let j = -180 + 94. Let a = j + 89. Let k = 0.34 + 0.06. Which is greater: a or k?
a
Let u = 2241.912 + -2242. Is 1 at least as big as u?
True
Let n be 11*(4 - -76 - 2). Suppose 23*d + n = d. Are d and -41 unequal?
True
Let x = 516086 + -515487.938. Let l = x - 600. Let w = -0.062 + l. Is w not equal to 2?
True
Let p = 441.185 + -0.885. Let x = -440 + p. Suppose 0 = q - 4*q + 5*o - 2, -5*q = 3*o + 60. Which is greater: q or x?
x
Let u be 8/12 - (-24)/(-35). Let h(y) = -4*y - 11 + 17 - 9 - 3*y**2 - y**3 + y. Let n be h(-2). Is n less than or equal to u?
True
Let j = -4.565 + 122.565. Is -3 < j?
True
Suppose -d + 14 = -3*z + 54, 0 = d - 5. Suppose -10 + z = c. Suppose -g = 3*s - 4 - 0, 5*g = c*s. Are -2 and s equal?
False
Suppose p + 9 = 4*p. Let x be (-4 - -1) + (p + 0 - 0). Let u be x - 1/(-3) - (-72)/(-240). Do 0 and u have the same value?
False
Let t = 359 - 234. Let d = -742.7 - -616.7. Let l = d + t. Does -6 = l?
False
Let x(c) = 2*c**2 - 13*c + 14. Suppose 3*r - 8 = 2*b, 7*b = 2*b + 10. Let w be x(r). Is 1/4 equal to w?
False
Let a = 40 + 46. Suppose 0 = a*k - 92*k. Is 118 != k?
True
Let y = -148 - 539. Let g = y - -714. Which is greater: g or 77/3?
g
Let y(l) = -l**3 + 22*l**2 + 21*l + 109. Let h be y(23). Is h at most as big as 49?
False
Let q be (-269172)/323784 + (1 - (-3)/(-18)). Which is greater: q or -1?
q
Let n(u) = u**2 + 87*u - 1728. Let j be n(17). Which is smaller: 37 or j?
37
Suppose 0*z + 16*z = 688. Let u(a) = -3*a + 137. Let i be u(z). Is 0.6 less than i?
True
Let y = 326.28 - 326. Let a = 0.34 - y. Is a smaller than -1/16?
False
Suppose 2*g - 340 = -2*m, 110*m = 114*m - g - 710. Is 175 != m?
True
Let z = -56/19 - -49/152. Let i = 857/328 + z. Which is smaller: 1 or i?
i
Suppose -9 - 27 = t. Let z = 1073 - 1026. Let p = t + z. Which is smaller: p or 2?
2
Let j = 1725 - 1110. Let p = j + -631. Let f = -5 + 3. Which is smaller: p or f?
p
Let g be ((-5 - -8)/(-3))/(1/4). Let h be ((-3 - 12/g)*1)/3. Suppose h = -12*n + 11 - 59. Is n smaller than -2?
True
Let x(s) = -559*s**3 + s**2 + s + 1. Let d be x(-1). Suppose 0 = 3*q + 5*r - d, 2*r = 4*q + r - 739. Let w be (2 + (-380)/q)*(-1)/2. Which is smaller: w or 0?
0
Let v = 58 + 44. Let i = v + -103. Is i < -317?
False
Suppose 99*a = 93*a - 2412. Let m be 4/a*15/10. Which is smaller: -1 or m?
-1
Let l = 55 + -441/8. Suppose 198 = -3*z + 216. Suppose 5*w = -5*a + 5, -a + z*a - 11 = w. Is w greater than l?
False
Suppose 38*b = -66*b + 195312. Which is smaller: 1880 or b?
b
Let g = 7149 + -7149.43. Let l = 27 - 107/4. Are g and l unequal?
True
Let p = -26339 + 289727/11. Which is greater: -1428 or p?
p
Suppose -8 = -5*y + 9*y. Suppose -s - 1455 = 7*s - 1471. Does y = s?
False
Let q be 1/(-3137)*(6 + -1 + -7). Which is bigger: 1 or q?
1
Suppose 3*w - 2741 = -z - 2760, 4*z + 28 = 4*w. Which is smaller: z or -232?
-232
Suppose -5*c + 1 = -5*b + 11, 0 = -3*b + c - 4. Let i be (b + 34/(-6))*(-68)/(-8). Is i at most -73?
True
Let j(m) = 7*m - 63. Let n be j(-15). Let b be (n/(-21))/(2/(-22)). Is b greater than -88?
False
Suppose 153*q - 7*q = -625300 + 121746. Which is smaller: -3450 or q?
-3450
Suppose -3*q - 4*o = -10, 7*o - 26 = 5*q + 3*o. Let g be 5122/5928 - q/(-3). Is g at most as big as -1?
False
Let i(b) = 275*b - 514. Let j be i(13). Which is smaller: 3060 or j?
3060
Suppose 4*f - 5*n - 12 = 0, -2*f + 9 = f - 4*n. Let c be (f/(-6))/(-1*(-1)/8). Let i be 27/18*c/9. Is -7 greater than i?
False
Suppose -18*t = -16*t. Let o be (-4 + 5 + 0)*t. Which is smaller: 10/129 or o?
o
Let g be ((-20)/60)/(1/(-18)). Let v be 4*(12/g)/(-12). Is -172 at least as big as v?
False
Let m be (3/(-2223))/(11 - 267/18). Is m < 1?
True
Let x = 0.26 + -0.613. Let z = 55.353 + x. Is -2/7 greater than or equal to z?
False
Let a(l) = l + 6. Let v be a(-5). Let o be 464/58116*(-6)/8*-1*2. Is v != o?
True
Let l be (104/(-130))/(2/(-865)). Let f = 358 - l. Which is bigger: -11 or f?
f
Suppose 4*c + 156 = 2*b, 5*c = -2*b - 161 - 34. Let f(g) = -10*g**2 - 2. Let a be f(2). Is a >= c?
False
Let x be -1*1 + (-1234)/(-16). Let i = 76 - x. Let c be (-60)/345*460/(-40)*(-2)/4. Is c at least i?
False
Let p = -0.1056 - -0.4656. Is 30 > p?
True
Let o(f) = 11*f - 332 - 284 + 573. Let q be o(4). Which is smaller: -1/143 or q?
-1/143
Let s(y) = -6*y - 168. Let n be s(-28). Which is smaller: 531 or n?
n
Let m = -70.73 + 137.16. Let u = m - 68. Let g = u + 0.97. Is g equal to -0.06?
False
Let n(l) be the third derivative of -l**6/120 + 7*l**5/12 + 3*l**4/2 + 2*l**3/3 + 3*l**2 - 5. Let r be n(36). Let s = 2 - -4. Is r at most as big as s?
True
Let o = -16097 + 16085. Which is smaller: o or -308/25?
-308/25
Let s = 3604 + -3577. Which is greater: 7 or s?
s
Let h(t) = 3*t - 1. Let a be ((-2)/56 + 6/21)*12. Let r be h(a). Suppose 15*m - r*m - 35 = 0. Do 5 and m have different values?
False
Suppose -4*d = 3*c + 53, -5*d - 4*c - 70 = -c. Let g(u) = 11 - 2 + 2*u + 5 + 4*u. Let y be g(-5). Which is smaller: d 