x be -17 - 2199*9/(-27). Which is smaller: 718 or x?
x
Let m = -94 + 144. Let q = 1060.9 - 1010.845. Let y = q - m. Do y and -2/5 have different values?
True
Suppose 69 + 295 = 2*r - 2*b, 0 = -5*r - b + 910. Let f = r - 1628/9. Let t = 0 - 0. Is t smaller than f?
True
Suppose 0 = 3*c + h - 161 - 69, 332 = 4*c - 5*h. Suppose c = 4*u - 6. Let x = 15.9 + -16. Which is smaller: u or x?
x
Let d = -41 + 47. Let l be 2*((-69)/d + 4) - -3. Let i be (-4)/l*(-4)/(-7). Is i > 3?
False
Let s be (-3 + 165/45)/((-3)/9) + 2. Is 0.2504 >= s?
True
Let g be (-326)/(-112) + 28/(-98). Let t be -1*(1 + 1 - 4). Is g less than t?
False
Let u be (-588)/49*(7/1 - -1). Let b be (-72)/u*(-8)/6. Is b at most as big as 1/770?
True
Let o = -24.827 - 18.254. Let u = o + 43.2. Is 0 >= u?
False
Let m = 7.5431 + -2.4431. Which is greater: 33 or m?
33
Let n = -13705.7 - -2226.7. Let w = n + 11489.918. Let q = w - -0.082. Is 0.5 less than or equal to q?
True
Let f(o) = o**3 + 10*o**2 - 13*o - 18. Let d be f(-11). Suppose 2*s - d*a + 13 = -1, -5*a = -2*s - 18. Is s >= -2/107?
True
Let o be (-23)/(-4) + 19/76. Suppose -o*w - 8 = 2*w. Is -2/163 at least w?
True
Suppose 21*f - 135*f - 1 = -229. Do -783 and f have the same value?
False
Let c(j) = -9*j + 1 + 32*j - 12*j - 10*j. Let h be c(0). Suppose 0 = -3*n + 4*n - h. Which is smaller: 20 or n?
n
Let z = -1425 + 9980/7. Which is smaller: z or 25?
z
Suppose 6*n + 50*n - 7 - 49 = 0. Which is greater: -1/11982 or n?
n
Let x be (12/18)/((-2)/(-6)). Suppose 2*u + 5*i + 5 = 0, 3*u + 2*i + 0 = -x. Do u and 2/11 have the same value?
False
Let d = -930 + 928. Which is bigger: d or -2729?
d
Let h = 45557/136479 - 20/1407. Do h and 1 have the same value?
False
Let c(y) be the first derivative of -y**4/4 + y**3/3 + 11*y**2/2 - 108. Let w be c(6). Are -110 and w equal?
False
Let o be -5 - (1976/32)/(-13) - (-181)/708. Which is smaller: o or 0?
0
Let u be (-10)/(8/(-482)*22) - (-5)/20. Do -1 and u have the same value?
False
Let a = -2592415/16 + 161944. Let u = -82 - a. Suppose 4*s = s. Which is smaller: u or s?
u
Let o be 109672/767312*-4 - (-4)/7. Which is smaller: o or 1?
o
Let c(j) = -3*j**2 + 8*j + 6. Let b be c(7). Suppose -4*n = -3*d + 365, 104*n - d + 93 = 103*n. Which is bigger: n or b?
b
Let h be (162647/246)/(0 - -248) - 10. Let q = -1/5278 - 308755/42224. Let m = q - h. Is m equal to -1?
False
Let v = 29 - 24. Suppose -2*i + f + 3*f + 94 = 0, f + 235 = v*i. Suppose 0 = w + 4*k - 39, 5*w - 7*k - 239 = -5*k. Is i at most w?
True
Suppose 5*w + 985 = -2*c + 343, -3*w + 2*c = 398. Is w at most -134?
False
Let c = 0 + 2. Let l = -281 - -291. Let f be l/14*-2 + 8 + -6. Which is bigger: f or c?
c
Suppose -9*j + 8*j - 257 = 0. Let t = -238 + j. Let m be (1 - 0)*t/60. Which is bigger: -8 or m?
-8
Suppose 124*c - 33*c = -185*c + 6*c. Is 76/73 <= c?
False
Let g = -55 - -692. Let o = -636.9 + g. Is o less than -3?
False
Let f be (-2)/76*(49 - 47). Does -0.22 = f?
False
Let l be 76/96 - (-7 - (0 + -7)). Let i = l - 91/120. Which is smaller: i or 5?
i
Let y(k) = -168*k + 2027. Let u be y(12). Which is smaller: -15 or u?
-15
Suppose -1593*h = -803*h - 813*h. Is h at least -1/1173?
True
Let d(g) = -2*g**2 + 7*g + 31. Let w be d(-3). Let r = -2338109/307021 + 2/23617. Which is smaller: r or w?
w
Suppose -20 = 2*i + 2*b, 0 = -5*b - 24 - 1. Let a = -81600 - -489577/6. Which is bigger: i or a?
a
Let h(t) = 11*t + 81. Let z be h(-6). Let b be -2*(-2 - 2/(-4)). Suppose 0 = -4*j + 8, 2*j + 38 = b*d. Are d and z nonequal?
True
Let q be (1 - 10/(-24))*14. Suppose 132*l - 2531 - 109 = 0. Is q not equal to l?
True
Let d(u) = u**3 - 51*u**2 + 638*u - 2. Let z be d(29). Is z less than 12537?
True
Suppose 4*a + 4*b = 0, 44*a - b - 3 = 42*a. Which is bigger: 20/263 or a?
a
Suppose 0 = -4*n - 2*u + 328, 2*u - 45 = -41. Let t(v) = v**3 - 6*v**2 - 5*v - 6. Let b be t(8). Which is smaller: n or b?
n
Let i be (-14838)/(-104) + 174/(-232). Which is greater: 142 or i?
142
Let t(s) = -3*s**2 - 23*s - 15. Let u be (-14)/105*3 - 33/5. Let c be t(u). Is 3/61 equal to c?
False
Let d(i) = -544*i - 366. Let a be d(1). Which is greater: -909 or a?
-909
Let f = -130.7 + 91.8. Let g = 16.17 + 22.83. Let s = g + f. Is s at least 0.003?
True
Let j(o) = 2*o**2 - 245*o - 1542. Let a be j(-6). Is 7/1581 at most a?
False
Suppose -4*l + 196 = -l - w, -5*w - 70 = -l. Suppose -2*k + 3*x - 8 = -l, 3*x = 3*k - 84. Does 28 = k?
False
Let m be 97 - ((-16)/20)/(8/20). Let o = m - 92. Suppose -2*i - 17 + o = -5*f, -5*i - 25 = -f. Which is smaller: 1/146 or f?
f
Let g be (-66)/(-6) + -8 + (-3)/(-6)*-46. Is -444/23 smaller than g?
False
Let k = -91 + 90.02. Let h = k - 0.02. Let p = 10959 + -10961. Which is smaller: h or p?
p
Let h(f) = 3*f + 29. Let c be h(-6). Let a be (3 - (-141)/6)*2. Let p = c - a. Is p greater than -42?
False
Let v(p) be the second derivative of -p**5/20 - p**4/3 + 17*p**3/6 - p**2/2 + 2*p + 258. Suppose 0 = -6*b + b - 35. Let k be v(b). Is 27 not equal to k?
False
Let g be (-3 - ((-6)/10)/((-3)/(-18)))*10. Is g at least 62/9?
False
Let t = 235.983 - -0.017. Let n = 237 - t. Is 1/91 at most n?
True
Let r be 6/(-9)*78/4. Let y = -15 - r. Let q = 41 - 43. Is q at least y?
True
Let x(k) = -6 - 2*k**2 + 4*k**2 + 3*k**3 + 8 + 0*k**2. Let t be x(2). Let g be (528/(-55))/((-6)/20). Is g greater than t?
False
Let i = 4408487765/20091 - 219426. Which is smaller: -1 or i?
-1
Let t be (-32)/(-16) - (-7 - -1). Let n be ((-8)/2)/t*(-12)/(-2). Which is bigger: -8 or n?
n
Let i = 2550 - 2550.022. Is i bigger than -41/6?
True
Suppose 8*i + 78 - 294 = 0. Suppose 0 = -i*k + 3611 + 1681. Which is greater: 195 or k?
k
Let q(z) = 12*z - 10. Let i be 6/33 + (-93)/(-33) + -1. Let r be q(i). Let j be 6/21 + 1368/r. Is j > 98?
False
Let a = -155 - -144. Let g = a + 10.9. Which is smaller: 11/9 or g?
g
Suppose -10*i + 12*i - 3942 = -x, -3*x = -2*i - 11842. Is 3946 at least as big as x?
True
Let c = -677 - -479. Let h = -197 - c. Are -270 and h nonequal?
True
Let o = 139 - 133. Let b = -13/86 + 5449/774. Do b and o have different values?
True
Suppose 0 = -242*l + 267*l + 25. Which is smaller: l or -1/2742?
l
Let w(z) = 7*z + 54. Let n be w(-9). Let i be 39/(-65) - 24/3. Which is bigger: i or n?
i
Let w(z) = 44*z - 4760. Let r be w(108). Is r <= -291/44?
True
Let h = -4481321/2 + 17665359227/7884. Let w = h + 91/108. Which is greater: w or 0?
0
Let z(y) = -y**3 + 23*y**2 + 22*y - 26. Let t be z(23). Suppose -5*k = -35*k - t. Is k less than or equal to -13?
True
Suppose -3*f = -3*g - 66, f + 4*g = -f + 14. Suppose f + 47 = -s. Let q be (-5)/(-35) + s/(-42). Which is bigger: q or -0.4?
q
Let n = 131 - 267/2. Let z = -1/52 + -95/468. Do z and n have the same value?
False
Let l be (1 - 6)*144/10. Let p be l/2*(-11)/22. Let t be p/(-22) + (-2)/11. Are 2/17 and t non-equal?
True
Let q = -797 + 801. Let r(i) = -5 + 2*i**3 + 7*i**2 - 2 + 1 - 3*i**3. Let x be r(q). Which is greater: 43 or x?
43
Let y = 1.2 - 0.2. Let w = -415.915 - -353.915. Is y smaller than w?
False
Let t(z) = z**3 + 53*z**2 - 257*z + 78. Let a be t(-57). Are 1731 and a unequal?
False
Let s = -58 - -76. Suppose 9 = -3*b - 45. Let a = s + b. Which is smaller: a or -8/9?
-8/9
Let k = 11271 + -11211.036. Let h = -60 + k. Let q = h - -0.036. Which is smaller: -2/9 or q?
-2/9
Let g = -221511 - -67339419/304. Let v = -1/304 - g. Is 27 > v?
True
Let t(a) = a - 48. Let f be t(12). Let o = f - -24. Suppose -5*h + 2*z = 75, 0 + 25 = 5*z. Which is smaller: h or o?
h
Let p be (-772250)/8097600 - 4/(-42). Which is greater: p or 1?
1
Let c(t) = -3*t**3 + 73*t**2 - 25*t + 25. Let r be c(24). Is r equal to 21/292?
False
Let q = 8174 + -8160. Suppose 9*m - 176 = 4*m + s, 4*m - 137 = -3*s. Let p = m + -23. Which is smaller: q or p?
p
Let v = 15.752 + -2.452. Let y(b) = -b + 9. Let o be y(7). Is o at most v?
True
Let w be (-4 - -1 - -3)*1. Let j = 6/799 + 16659/15980. Which is greater: j or w?
j
Suppose -3*y - 4 = -4*y. Suppose 3*b - 11*s - 53 = -9*s, 16 = -y*s. Let a = 2 - 1. Which is bigger: a or b?
b
Let l(u) = -u + 5. Let x be l(-4). Let f be (12/x)/((-3)/(-117)). Let d = f + -73. Which is smaller: d or -20?
d
Let l(h) = -h**3 - 30*h**2 + 75*h - 145. Let x be l(-32). Is x less than -498?
False
Suppose 0 = -140*k + 150*k - 730. Is k > 63?
True
Let r be 1/