c?
-7
Suppose 10 = 7*h - 2*h. Suppose -3*w - h*w + 20 = 0. Let g(a) = -3*a + 8. Let m be g(w). Is -3 smaller than m?
False
Let x = -7929 - -7972. Let g = -22 - -22.5. Is g at least x?
False
Let q be (-10)/15 - 1/(2/4). Let z = -22/9 - q. Are z and 7 nonequal?
True
Let g(z) = -3*z + 68. Let t be g(20). Let d be t/(-42)*(-21)/(-14). Which is greater: d or -2.1?
d
Suppose -115*l + 120*l - 85 = 0. Suppose -3*d - j - 7 = 0, -5*d - 3*j = -0*j + l. Which is bigger: 1/13 or d?
1/13
Let o = 4509 + -4509. Let k = -9.749 - -9.7. Is k >= o?
False
Let y be (-12)/2 - 139/(-29). Let n = -2545/174 + y. Is n at most -15?
True
Suppose -7*l + 3*l = -2*m + 644, -4*m - 818 = 5*l. Let o be l/(-132)*(-4)/(-1). Which is greater: o or 5?
5
Let k = 14.841 - -83.489. Let p = k + -98. Is p greater than or equal to 0?
True
Let t = 6988 + -9314. Do t and -2327 have different values?
True
Let t be 642/(-535) + 150342/(-15). Which is smaller: t or -10026?
-10026
Let h = 239 - 247. Let z = 69 - 70. Is h at least z?
False
Suppose 4*u + 2*f = -190, 2*u + 0 + 77 = 5*f. Which is smaller: -35 or u?
u
Let q(y) = y**3 + 17*y**2 + 32*y + 51. Let f be q(-15). Let l be 0 + (f/7 - 1). Suppose 0 = 3*u - 6*u. Which is bigger: l or u?
l
Let x(t) = -t**2 - 34*t - 1. Let q be x(-34). Let k be ((-2)/(-10 - -4))/(q/3). Which is bigger: k or 1/193?
1/193
Let p = -41/18 - -5/2. Let s = -5144 - -5144.2. Does s = p?
False
Let r = 166 + -182. Let g be 3*(-40)/r*(-136)/(-210). Do 4 and g have the same value?
False
Let f(u) be the second derivative of 71*u**3/6 + 2*u**2 + 5*u - 4. Let x be f(1). Do x and 77 have the same value?
False
Suppose 15 = 2*t + 27. Let h be t - (-30)/(1 + 5). Do h and -24/23 have different values?
True
Let u = -35.11 + -0.59. Let c = -31 - u. Let j = c + -5.7. Is j equal to 10/9?
False
Let x be 26/6 - (2 - 2). Suppose 0 = 3*v + 5*u - 40, 5*v + u = 3*u + 15. Suppose -3*r + 2*l + 22 = 0, l - v = 5*r + 6*l. Is x smaller than r?
False
Let l = 206.7 - 207.1. Let n = 14.72 + -15. Which is bigger: l or n?
n
Let z(s) = s**3 - 28*s**2 + 52*s - 31. Let b be z(26). Suppose 3*o = -5*c - 49, 4*c - 3*o = 2*o - 17. Is c greater than b?
True
Let p = -3 - 14. Let m = -11 - p. Let b = -0.004 + 0.104. Is m <= b?
False
Let h be (2 - -1)*(52/(-3))/(-1). Let d be h/24 + 1/1*-2. Let t(x) = x**3 + 2*x**2 + x + 2. Let z be t(-2). Which is smaller: z or d?
z
Let l be (-21035)/80*32/7480. Let r = l + 14/187. Is 0 at most r?
False
Let x be (10 - (-660)/(-22)) + 21. Do 18/887 and x have different values?
True
Let y(n) = n**2 - n + 1. Let j be y(3). Suppose -12*o = -j*o - 5. Let v be (7480/624 - 12) + 0/2. Is v at least as big as o?
False
Let d = -180 - -409. Let m(u) = -u**3 - 5*u**2 - 3*u + 14. Let w be m(-8). Is w at least d?
True
Let j = -25193821/279 + 821422/9. Let c = 969 - j. Let q = 228/899 - c. Does q = 1?
False
Let t(j) = 2*j**2 - j - 7. Let a be (9/4 - 2) + (-116)/16. Let h be t(a). Let g = h + -104. Which is greater: -35/6 or g?
-35/6
Let i = -161 + 162. Let z(h) = -65*h**3 - 3*h + 2. Let x be z(i). Which is bigger: x or -64?
-64
Let a be 1/((-9)/36)*2. Let k be -1 + 3 + 1 + -2. Let q be ((-8)/16)/(k/a) + -5. Which is bigger: q or -2/259?
-2/259
Let i = 155 - 104. Suppose -v + i = 50. Suppose 0 = 4*q + 2*d + v - 5, 3*d = 5*q - 5. Is -3 greater than or equal to q?
False
Suppose r - 6*r - 4*m + 109 = 0, 5*r - 103 = 2*m. Let y = r - -14. Suppose y = 3*v - 8*v. Which is greater: -6 or v?
-6
Suppose 5*i = -p - 45 + 3, 218 = -4*p + 5*i. Let y = 48 + p. Let x be 18/12*y/(-27). Which is greater: -1 or x?
x
Let q(d) = -2*d - 15. Let i be q(-7). Let r(o) = 7*o + 346. Let z be r(0). Let a = z - 23183/67. Which is smaller: a or i?
i
Let l = -38.904 - -39. Let o = l + 0.004. Suppose 3*c + 0*s + 149 = -5*s, 5*s + 207 = -4*c. Which is greater: o or c?
o
Let c = 36 - 45. Let k be ((-219)/(-324) - c/(-12))/3. Which is smaller: k or 1?
k
Let g = 1 + -8. Let c(o) = 14*o - 151. Let f be c(11). Let y = g + f. Which is bigger: -5 or y?
y
Let y(w) = 155*w**2 + 6*w - 15. Let o be y(3). Let q = o - 34902/25. Which is bigger: 1 or q?
q
Let q be ((-2)/(-2) + -1)/(-2). Let a = -83 - -74. Let y be (a/15)/(-3)*(-65)/1209. Which is smaller: q or y?
y
Let q = 1145.9501 - 1146. Let g = q - 8.9661. Let a = -0.016 - g. Are a and 0.5 equal?
False
Let z = -0.1 - 0.016. Let i = -0.169 - z. Let u = i - 1.947. Does u = -2/3?
False
Let z = 0.022 - -0.029. Let k = z - -0.029. Let m = -0.13 + -0.87. Is m less than k?
True
Let t be 4/2 + -20 + 17 - (-4129 + -16). Are t and 4145 equal?
False
Suppose -12*c - 101 = 19. Let x(d) = -2*d**3 - 14*d**2 + 52*d - 7. Let g be x(c). Is 358/5 at least as big as g?
False
Let t(r) = 315*r**2 + r + 2. Let g be t(-1). Suppose 2*d + g = d. Let v = d + 9166/29. Is -1 at least as big as v?
False
Let f = -179587 - -179713. Let n be ((-42)/(-5) + 0)*15. Is n less than f?
False
Let c(r) = -17*r - 1428. Let n be c(-84). Is n less than or equal to -1/601?
False
Let g be (82/4 - 1)*(-6 + 4). Let o = 7 + g. Let z = -27 + o. Which is smaller: -58 or z?
z
Let b = 732 + -495. Let l = 248 - b. Is 14 <= l?
False
Suppose -5*b + 5*f = f - 3616, -f - 2895 = -4*b. Let o = b - 747. Is o >= -22?
False
Let c be (-4)/(-3)*(-166728)/48. Let v = c - -4711. Let l = -6455/81 + v. Which is bigger: l or 0?
0
Let o be ((-145)/(-10) - 14) + 1809/6. Is o bigger than 2710/9?
True
Let u be (-464464)/958804 + 4/(-11). Are u and -2 unequal?
True
Let k(x) = 2*x - 1. Let c(y) = -3 - 2*y + 2 + 3*y + 2*y. Let b(q) = 5*c(q) - 4*k(q). Let u be b(-4). Are -28 and u nonequal?
True
Let l = 25927/774 + 1/387. Let n = 137/4 - l. Let c = -4/75 - -29/75. Is c at most as big as n?
True
Suppose -2211*q - 115 = -2216*q + 5*k, -3*k = -9. Let y be -2 - 1/(9/(-250)). Is q at most as big as y?
False
Let m be (-4)/(-10) - (-189)/(-35). Let t be 18/m - 6/(-10). Suppose -2*j = -5*x - 9 + 36, 5 = x. Which is smaller: t or j?
t
Suppose -u - 2*z - 6 = u, u + 2*z = -7. Let f be (66/(-18) - -4)/(u/43). Let v be (-30)/9*(5 + 57/(-6)). Is v at least f?
True
Let t = -5298 - -5302. Which is smaller: t or 0.141?
0.141
Suppose 0*u + 330 = -2*u. Let n = 309 + u. Suppose 5*c = 11*c - n. Do c and 25 have the same value?
False
Let c(h) = h**3 + 15*h**2 + 2*h + 6. Let d be c(-15). Let w be -3 - (-1)/1 - (1 + 2). Let n be (-480)/(-36)*d/w. Is n less than 64?
False
Let g = 7441 + -7432. Is 3/44 equal to g?
False
Let i = -35 - -92. Let k = -56.8 + i. Suppose -2*l + 4*h + 104 - 26 = 0, 4*l - 136 = -2*h. Which is greater: k or l?
l
Let x(j) = -2*j**3 - 9*j**2 - 71*j + 58. Let q be x(-8). Which is greater: q or 1077?
1077
Let m(d) = 76*d - 4. Let n be m(0). Is 0.25 greater than or equal to n?
True
Let j = 300 + 5. Let h = -304.52 + j. Is -0.2 less than h?
True
Let l = 91.42 + -91. Let g = l - 1.42. Which is greater: g or -10.4?
g
Suppose 498 = -38*d - 116 + 7340. Which is greater: d or 879/5?
d
Let k = 9826 - 7844. Which is smaller: k or 1985?
k
Let c = -0.48 - -10.48. Let i = -53 + 51. Do i and c have the same value?
False
Let i be ((-103)/103)/(1 - (-4328)/(-4327)). Suppose 0 = 20*g + 2593 + i. Is g at least as big as -346?
True
Let t = -99 - -103. Let j be t - -2*(-6 - -4) - 2. Let s be (-1)/j*34/(-17). Is 13 equal to s?
False
Suppose -4*n + 98 = 3*h, -5*h - 2*n + 152 = -n. Let x = 36 - h. Let k be (6/15)/(x/(-5)). Do -13 and k have the same value?
False
Let k = 11342 - 11716. Are k and -7 unequal?
True
Let g(h) = 2*h**3 + 32*h**2 - 27*h - 49. Let j be g(-16). Let x = -383 + j. Is -244 bigger than x?
False
Suppose m = 4*d, -d + 2 = 1. Suppose 14*y - m = 10*y. Let i be ((-24)/8)/((-7)/3). Do i and y have different values?
True
Let p = 10229.084 + -10212. Let k = -17 + p. Let s = k + -0.124. Which is smaller: 3/2 or s?
s
Let u(q) = 92*q - 1201. Let r be u(13). Which is bigger: r or -154/25?
r
Let v be (-492)/827380*1/(1/5). Which is bigger: v or -1?
v
Let z be ((-158)/(-6))/((35175/(-350))/((-3)/1)). Which is smaller: z or 0?
0
Let n be 1852*(-14)/(-350) + (-6)/75. Is 72 bigger than n?
False
Let f = -885.8 + 1309.8. Which is smaller: f or -6/7?
-6/7
Suppose -v + 0*t - 3*t = -10, -2*t + 15 = -v. Let a be 16/(-8) + (-8)/v. Let j = 0.228 - 0.428. Which is smaller: a or j?
a
Let q be 3/(27/24) - (-16)/12. Let m(c) = 9 + q*c + c - 22*c - c**2 + 6*c. Let p be m(-12). Which is small