((-4)/24). Is 3 at least as big as q?
False
Suppose 4*y - 56 = -0*y. Suppose -4 = -y*a + 10*a. Which is greater: a or 4/17?
a
Let c be 7556/14 + (-2)/(-7). Let d be -5*(-9)/(c/8). Is 2 >= d?
True
Let n = -0.168 + -70.832. Let b = -70.94 - n. Is 3 bigger than b?
True
Suppose 100 = w + 4*r, 2*r = -0*w + 2*w - 150. Suppose -75*n = -w*n + 185. Which is smaller: n or 36?
36
Let b(u) = 7*u**2 + 12*u - 18. Let g be b(-5). Which is smaller: g or 98?
g
Let d = 6.1 + -6. Let q = 29 + -15. Suppose 0 = q*l - 10*l + 4. Which is greater: d or l?
d
Let h be ((-8)/(-4) + -1)*0. Let u(g) = g**2 + 3*g - 2. Let f be u(-3). Let t be 1*f + h + 1. Does 1 = t?
False
Let p(f) be the third derivative of -f**4/12 + 7*f**3/6 - 2*f**2. Let u be p(5). Let n = 6 + -8. Which is smaller: n or u?
u
Let x = 56 - -16. Let r = -71.9 + x. Which is smaller: 6/13 or r?
r
Suppose v - 36 + 23 = 0. Let x(s) = 6 + 3*s**2 + 11*s**2 - 7 - 2*s. Let r be x(-1). Which is bigger: v or r?
r
Let d = -1 + -61. Which is bigger: 2/7 or d?
2/7
Suppose 3*y = 14*y + 616. Is y <= -60?
False
Let x be (20/(-35))/(42/49). Do 4/59 and x have the same value?
False
Let q = 348 - 349. Which is bigger: -74 or q?
q
Let h be 21/(-6)*(-3)/(-42). Let r = -0.3 + -4.7. Which is greater: r or h?
h
Let d(x) = 4*x + 2. Let t be d(9). Let c = 183 + -146. Which is greater: t or c?
t
Let m be (696/(-688) - -1)/1. Which is smaller: m or 1?
m
Suppose 2*q = -4*j + 7*j + 251, q + 414 = -5*j. Which is greater: -85 or j?
j
Let q be 7/(35/(-190)) + -7 + 10. Which is greater: q or -33?
-33
Let s = -3188 - -73335/23. Let q = 1/46 + s. Is -2/89 greater than q?
False
Suppose 5*o = 1455 - 1460. Is 15/172 bigger than o?
True
Let t be (-10302)/615 + 284/(-5822). Suppose 2*m = -0*m - 34. Is t not equal to m?
True
Let m be 8/68 + 101893/187. Is m at most 546?
True
Let i = 0.08 - 0.11. Let a = 0.08 + i. Is -1 greater than a?
False
Let h = 2061976319/80 + -25773644. Let l = h - 1060. Which is smaller: -1 or l?
-1
Let k = -1 - -4. Suppose -97 - 145 = -22*t. Suppose t - k = -4*i. Is i at least as big as -2?
True
Let l be 120/(-224) + ((-23)/(-7) - 3). Is l not equal to 1?
True
Let q be 5/(-35) + (-238)/49. Is -7 greater than q?
False
Let q = -59/36 + 8/9. Let a(j) = -4*j + 16. Let c be a(4). Is c less than q?
False
Let a be 5*(154242/(-38565) - -4). Which is smaller: 0 or a?
0
Let o(s) = s - 7. Let h be o(7). Suppose -2*z - 1 = 3*w, 4*w = -h*w + z + 17. Are -2/7 and w equal?
False
Suppose 0 = u + 5*k - 50, 5*u - 146 = -3*k + 4*k. Let i = -7 + 40. Is i greater than u?
True
Let f = 37 + -32. Suppose 4*r = 29 + 15. Let q = -8 + r. Which is smaller: f or q?
q
Let k = 521/35204 - -3/677. Is k greater than or equal to 2/3?
False
Let i = 32 + -37. Let k(x) = 7*x - 1. Let l be k(1). Suppose 0 = v + l. Which is smaller: v or i?
v
Let w be ((-84)/(-126))/((-1)/864). Is -576 <= w?
True
Suppose 0 = -3*f + 52*q - 47*q + 43, 0 = 5*f + q - 53. Let z = 8 - 7.8. Is z != f?
True
Let q = -0.2 + 0. Suppose -5 = -3*f - 14. Let a(o) = 3*o + 10. Let c be a(f). Is q <= c?
True
Let u = -1/5 - -19/45. Which is smaller: u or 1/2?
u
Suppose -3*j + y = 3*y - 137, 4*y - 139 = -3*j. Let d = j - 46. Are d and -2/183 nonequal?
True
Let z(o) = o**3 - 8*o**2 + 3*o + 6. Let j be z(7). Let p = j - -39. Let k be (3/1 - p) + 2. Is k at least -13?
True
Let h be ((-30)/(-9) - 4)*-18. Let l(u) = u**3 - 11*u**2 - 11*u + 23. Let g be l(h). Is g != 35?
False
Let i = -742/5 + 14138/95. Which is smaller: i or -5?
-5
Let g = -104 + 110. Suppose 0 = 5*v - 0 + 20. Let a be (-3 + 1)*v/g. Is a bigger than 1?
True
Let q be (-2)/(-6)*(-18)/(-146). Let l = q - 160/2117. Are l and -1 unequal?
True
Let a be ((7995/12)/5)/6. Let h = a - 61/3. Which is bigger: 2 or h?
2
Let y = 14.07 - 13.57. Which is smaller: -70 or y?
-70
Let g = 308 - 9549/31. Suppose -4*o = -4 + 16. Let q be o + (2 - (3 + -2)) - -3. Which is smaller: g or q?
g
Let t = -15.43 + 15.43. Do t and 2399 have the same value?
False
Let k = -18 + 8. Let x be (8/k)/((-8)/60). Suppose 7*s - 5*s = x. Are s and 1 unequal?
True
Let u = -6473/4234662 + -2/7589. Does u = 0?
False
Let u be -1641 - ((-6)/15)/((-20)/(-200)). Are u and -1636 nonequal?
True
Suppose -12 + 4 = 4*z. Let p = -7090 - -7092. Is z smaller than p?
True
Let m be (4/(-7))/((-17826)/21). Is -1 equal to m?
False
Let q = 5 - 27. Let x = -18 - q. Is -0.2 less than x?
True
Suppose 3*j + 14 = t, t - j + 6*j = -18. Let k be (0 + 4 + t)*11. Let m be k/12*(3 - 1). Is 11 bigger than m?
False
Suppose -5*t - 14*h = -18*h - 1, 2*t + 4*h = 6. Which is smaller: -30/91 or t?
-30/91
Suppose 3*s = 3, -s = c + s + 4. Let t(p) = -p**3 - 7*p**2 - 7*p + 7. Let y be t(c). Suppose y*n - 14 = 6*n. Is n bigger than 0?
True
Let y(i) = i**2 - 19*i - 85. Let j be y(-13). Is j greater than or equal to 332?
False
Let o = -1458 - -1290. Which is smaller: o or -162?
o
Let o = -134250 - -384130/3. Let v = o + 6131. Let r = v + 75. Which is smaller: -1 or r?
-1
Let f = 1 - -4. Suppose 0 = -0*w - f*w - 5. Is w greater than -2/53?
False
Suppose -2*k + 1 = -5*y, -4*y = 5*k + 75 + 5. Let l = k - -9. Let r be -1 - (-2 - l)*1. Is -3 at most r?
True
Let l be (-276)/(-16) + 2/(-8). Suppose 0*m = m - l. Do 16 and m have different values?
True
Let v = 38576/77 + -501. Let n = -2651 - -2650. Do n and v have the same value?
False
Let d(g) = 3*g - 14. Let a be d(6). Suppose 2*j - j = -v - 5, -v = -4*j + 5. Is j at most a?
True
Let s(l) = 2*l**3 + 2*l**2 - 2*l - 3. Suppose -3*p - 30 = -0*p. Let v = p + 8. Let m be s(v). Which is greater: -8 or m?
m
Let b be ((-4)/5)/(-7*16/(-15400)). Is b >= -334/3?
True
Let p be 4/(0/(-3) + 2). Suppose 0 = -v + 1 - p. Let t be ((-1)/(-12))/((-24)/128). Which is smaller: t or v?
v
Suppose 2 = -l - l. Which is smaller: 3/221 or l?
l
Let i = -0.005 - 0.171. Let h = i - -0.076. Do h and -2/9 have the same value?
False
Let d be 264/99 + (-1 - (-7)/3). Is 58/15 > d?
False
Let k = 35 + -34. Let t(v) = -13*v**3 + 2*v**2 - 2*v + 1. Let d be t(k). Let g be (9/d)/((-18)/168). Is g > -2?
True
Let u(n) = 25*n - 5. Let m be u(1). Let o be (-66)/4 + 2/4. Let b = o + m. Is 4 at most b?
True
Let h = 4512113/568 + -7944. Let y = -1/71 - h. Which is bigger: y or -0.3?
y
Let b(g) = -2*g**3 + 16*g**2 - 2*g + 10. Let y be b(8). Let p(d) = d**3 + 5*d**2 - 4*d + 9. Let c be p(y). Do c and -0.7 have different values?
True
Let r = 27 - 50. Let d = 10 + r. Let i = d + 17. Which is greater: i or -2/5?
i
Let u = -11 - -2. Let v = 14 + u. Let g be 1 + -5 - (1 - v). Is g equal to -10?
False
Suppose -3*b = -2*u - 3*u + 23, 2*u + 2*b - 22 = 0. Let w = u - 3. Let v(z) = z**3 - 4*z + 3. Let h be v(2). Is h != w?
True
Let p = 0.62 + 4.58. Let o = p + -5.2. Which is bigger: 3 or o?
3
Let b = -118 - -122. Let s be ((-12)/16)/(11/b). Which is smaller: s or -2/9?
s
Suppose 0 = -2*w - 3*g - 13, 0 = -2*w - 3*w - 4*g - 15. Which is smaller: -5/102 or w?
-5/102
Let l = -1874 - -1874.1. Which is smaller: l or 2/223?
2/223
Let f be (18/24)/((-3)/(-72)). Suppose -4*g + 5*g = 18. Is g greater than or equal to f?
True
Let t = -341 - -340. Is -20/11 greater than or equal to t?
False
Let h be 10 + -11 - (2 + -2 - -5). Let u be (-180)/(-162)*h/(-4). Let a = 0.3 - 0.4. Is a less than or equal to u?
True
Suppose -44*r + 31*r - 247 = 0. Are -19 and r unequal?
False
Let v be 16/(4/1)*1. Suppose -2*q - v = 2*q. Let w be (-4)/(-6) + (-11)/3. Is w < q?
True
Let o = 2.04 + -2. Let q = 0.71 - 0.67. Let j = q - o. Which is greater: j or -1/3?
j
Let t = 0.032 + 1.068. Let x = 1.24 + -0.04. Let m = t - x. Are 0.06 and m non-equal?
True
Suppose 5*a - 454 = -3*r - 107, 122 = 2*a - 3*r. Let v = a - 1207/18. Which is smaller: 0 or v?
v
Let n be 7*2060/70 + -13. Which is greater: n or 198?
198
Let h = -0.267 - -0.3. Let m = -0.033 + h. Is m at least -35?
True
Let a = 0.015 + -0.545. Let c = 0.53 + a. Is c < 1.36?
True
Suppose d = -c + 6*d - 17, 0 = -4*c - 5*d + 57. Is c at least as big as 25/3?
False
Let k = 20.2 + -20.3. Is 84 at most as big as k?
False
Let l(m) = -23*m + 429. Let f be l(13). Are 2/7 and f unequal?
True
Let p be (3 - 4)*-1*-24. Let z = 24 + p. Which is smaller: 2/45 or z?
z
Suppose -2*p = -6*p + 12. Suppose 0*n + 27 = -2*v + 5*n, p*n - 29 = 2*v. Let u(j) = 11*j + 5. Let k be u(-2). Which is smaller: v or k?
k
Let n be (-6)/25*10/8. 