 is smaller: t or q?
q
Suppose -2*l + 4*g = -16, -3*l + 2*g = -3*g - 20. Suppose -3*z - 3*z = 6. Let c be (11/(-11))/(33 - z). Is l smaller than c?
False
Let m = 4.682 - -0.318. Which is smaller: m or 3/5?
3/5
Let o be -7 + (-8)/(40/(-45)). Is 8/3 smaller than o?
False
Suppose -2*v + 2*d - 216 = 0, 2*v - 3*d + 251 = 33. Does -108 = v?
False
Suppose -32*m + 5 = -27. Is m bigger than 1/685?
True
Let f be (110/15)/(-2 - 204/(-99)). Is 121 not equal to f?
False
Let n = -44 - -46. Suppose 6 = -2*g + m, 14 + n = 4*m. Is g bigger than -1/6?
False
Suppose 2*g - 2 = 3*g. Let o = -668 - -669. Which is smaller: o or g?
g
Suppose -g = 2*g - 51. Suppose -4*c - g - 3 = 0. Do -5 and c have different values?
False
Let o = 58 - -49. Let x = o - 107.02. Is -0.1 bigger than x?
False
Suppose 70 = 3*v - 2*t, -2*v - 4*t = t - 15. Suppose -u + 12 = -v. Let r = u - 1. Is r at least as big as 31?
True
Let l = 67.4 - 67. Is l <= -2/15?
False
Let q = -542 + 192. Let r = -2095/6 - q. Suppose 4*h + 2*t + 2 = -0*t, -3 = -h + 3*t. Does h = r?
False
Let n(s) = -s + 12. Let r be n(13). Let j be 3 - (r + (-2070)/(-8)). Let h = j - -261. Which is smaller: 6 or h?
6
Let h = 42 - 43.1. Let j = -8 + 8.1. Is h smaller than j?
True
Suppose 29*b = 24*b + 30. Let q be (3 - b) + (-3 - (0 + -5)). Is q >= -2/13?
False
Suppose 0 = 4*s - 0*s - 1036. Let w = s - 2587/10. Let q = -40 + 41. Which is smaller: q or w?
w
Let c(n) = n. Let u be c(3). Let r = -2 + 12. Suppose -a + r = 5*x, -3*x + 2*a + 0*a = -19. Is u bigger than x?
False
Let p be 6 + (-7 - -4 - -1). Let d be p*(-293)/2*-1. Let o = d + -2355/4. Which is bigger: -3 or o?
o
Let j = -167 - -170. Is j less than or equal to 18/7?
False
Let c(h) = -h. Suppose -15 = -2*a + 5*a. Let u be c(a). Suppose -u*f = -0*f. Which is greater: f or -1/13?
f
Let m be 6/40*5/4. Suppose 2*f + 0*f = 0. Suppose o + 0*o - 1 = f. Is o greater than m?
True
Let y be (-384)/123 - (88/(-8) + 8). Is y at least 1?
False
Let a = 1 - 1. Let y be (48/(-6600))/(1/5). Let w = 76/935 - y. Which is bigger: w or a?
w
Let s = 6 - 17. Let a = s - -17. Let n be 14/a + 6/(-18). Is 5 > n?
True
Let d(g) = 7*g - 3. Suppose a - 2*w = -4*a - 13, -2*a - 3*w = -10. Let c be d(a). Which is smaller: -8 or c?
c
Let v = 13.84 - -0.16. Let y = 5.2 - -0.8. Let z = y - v. Which is greater: z or 0.1?
0.1
Let g = 59/138 + -52/23. Let z(u) be the third derivative of u**5/15 - 3*u**4/2 - u**3/3 + 34*u**2. Let l be z(9). Is l at most g?
True
Let r(l) = l + 1. Let g be r(2). Suppose 8 = -7*v + 3*v, g*c - 38 = v. Suppose 3*w + w = -c. Is -3/2 at least w?
True
Let b = -2 + 3. Let c = -84/89 - -3316/2759. Which is greater: b or c?
b
Let u = -2.74 + 0.28. Let f = u - -2.4. Let d = -16 - -46/3. Is d less than f?
True
Let m = -247 + 416. Which is smaller: m or 171?
m
Suppose 0 = -3*p + 2 + 1. Let z = 7/121 - -314/847. Are z and p equal?
False
Let c(m) = m**2 - 18*m + 1. Let l be c(19). Suppose 0 = -5*y + l, -y - 4*y + 32 = -2*n. Which is bigger: n or -5?
-5
Let n = 0.12 - -6.88. Let g = n - 3. Let i = g + -3.8. Is i not equal to 3?
True
Suppose -x - 2 = 0, 5*x + 7 = i - 13. Suppose -2*a = -5*v - i, 5*a = v - 0*v + 2. Let s = 57/35 - 6/5. Is a < s?
True
Let o(z) = -z + 4. Let j be o(9). Let p be 15/(-6)*(-4)/j. Suppose -4*b - 2*u = -6, 2*b - 16 = -2*b - 4*u. Is b bigger than p?
True
Let t = 666 - 406. Are 260 and t unequal?
False
Suppose -320*l + 4 = -321*l. Is -58/17 >= l?
True
Let j(p) = -3*p**2 - 88*p - 109. Let o be j(-28). Let x be (46/12)/((-2)/8). Let d = -16 - x. Is o greater than d?
True
Let g = 5/253 - -17645/3289. Is 4 greater than or equal to g?
False
Let z be 2/8*(2 + -1). Let x = 0.1 + -0.1. Are x and z unequal?
True
Suppose -x = 8*x - 9. Are x and -0.388 unequal?
True
Suppose 0 = -f - 8*j + 7*j - 67, -5*j = -4*f - 241. Is -61 > f?
True
Let z(o) = -3*o + 2. Let m be z(-3). Let a(d) = d + 1. Let s(j) = -6*j - 6. Let h(b) = m*a(b) + 2*s(b). Let v be h(0). Which is bigger: v or -3?
v
Let z(u) = -u**2 + 10. Let m = 25 + -22. Let g be z(m). Is g != -4?
True
Let y = 224 + -603. Is y less than -380?
False
Let n be ((-2)/6)/((-6)/18). Let a(u) = 7*u**2 + u. Let r be a(1). Suppose 4*v = 4*s - 16, 4*s - 2*v = -0 + r. Do s and n have the same value?
False
Let s = 138 + -185. Is s at least as big as -228/5?
False
Let v(n) = n**3 + 2*n**2 - 2*n + 4. Let l be v(-3). Let s = -39 + 42. Let d be 1 - 1/s - 1. Which is smaller: l or d?
d
Suppose 4*j = -4*s - s + 35, 2*s = 6. Suppose -j*k + 340 = 5*k. Are 35 and k equal?
False
Suppose -i - 437 = -2*l, 0 = 4*i - 3*l - 2*l + 1736. Let w be (i/(-420))/(-11) + 3/15. Let m be 0 + 0 + 3 - 3. Is w at most m?
False
Let j be (((-96)/30)/(-8))/((-21)/15). Is 43 less than j?
False
Suppose -2*r - 12 = -5*m, 3*r + 2*r + 2*m + 1 = 0. Let g be r/(-2 - (-1)/1). Let c = 533/231 + 2/77. Which is smaller: c or g?
g
Suppose -84 - 23 = -u - 4*y, 0 = -2*u + y + 196. Is u < 99?
False
Let f = -1392 - -132237/95. Is 0 at least f?
True
Suppose 0*d - 2 = d. Let v be 12/16*(-32)/36. Which is smaller: d or v?
d
Let l(f) = f**2 - f - 38. Let b be l(0). Is b at least as big as -221/6?
False
Suppose 8*x = -x + 441. Which is bigger: 47 or x?
x
Let j be (15/45)/((-5)/(-285)). Which is greater: 18 or j?
j
Let y = -43 + 43. Is -10/57 greater than y?
False
Let x(n) = -n**3 - 7*n**2 + 3. Let k be x(-7). Suppose -k*i - 4*s = -36, 0 = -i - 0*s - s + 11. Let l = -2 + i. Is l > 5?
True
Suppose -r + 3*b = 0, -14*r + 12*r - 2*b = 0. Which is greater: -1/14 or r?
r
Let o = -47 - -67. Let c be (-1484)/(-6)*30/o. Let z = c + -9277/25. Which is greater: 1 or z?
1
Let j be (-12)/(-24) + (-129)/6. Let n = -30 - -9. Let m be 16/n + (-9)/j. Which is greater: m or 6?
6
Let y = 47 - -19. Let o = y - 62. Which is greater: o or -2?
o
Let o = 516 + -515.8. Are o and 93 equal?
False
Let l be 7/(-1 - 10/(-6)). Suppose -2*j = 4*j + 60. Let r = l + j. Is 0.06 smaller than r?
True
Let l = 405.1 + -405. Which is smaller: l or -0.263?
-0.263
Let c be (45/12)/((-8)/160). Let k be 3/(c/(-77)) - (16 - 13). Which is greater: -1 or k?
k
Let x = 0 + 2. Let y be 6/(-8)*(x - -2). Let b be 2*1/2*y. Which is greater: b or -5?
b
Let n = 2.16 - 0.16. Let x = 1.94 - n. Let v = x - -0.04. Is -2 greater than v?
False
Let g = -113.6 + 118. Let n = -3.4 + g. Which is smaller: -1.3 or n?
-1.3
Let s be (7 + 30/(-6))*125/(-10). Is -27 greater than or equal to s?
False
Let o = 60/31 - 211/93. Which is bigger: o or -2/15?
-2/15
Let d = -1796 - -1795. Is d greater than 6/161?
False
Let w = -1430 + 1432. Which is smaller: w or 0.048?
0.048
Let u(q) = 3*q + 14. Suppose 8 = 5*c + 33. Let g be u(c). Which is smaller: g or 21?
g
Let s = 1047/8 - 844945/6456. Is s at most 0?
True
Let a(w) = 3*w**2 - 2*w + 1. Let z(m) = 16*m**2 - 9*m + 5. Let i(u) = 11*a(u) - 2*z(u). Let y be i(5). Let o = -8 - -14. Does o = y?
True
Suppose -14*s - 5250 = -1008. Which is smaller: s or 2/5?
s
Let a be (-206*(-52)/(-24))/(-3). Let h = a - 149. Let b = -9/26 - 2/13. Which is smaller: b or h?
b
Suppose 0 = 5*l - 12*l - 280. Let n = l - -62. Let w = 10 - n. Which is bigger: -13 or w?
w
Let g = 299 - 233. Which is greater: 5 or g?
g
Let s(n) = -n**3 - 18*n**2 - 19*n - 34. Let z be s(-17). Are z and 6/7 equal?
False
Let f be 3*2/(-6)*4. Let a be 0*(1 - (-5)/f). Is -2/61 equal to a?
False
Let g = -1/402 - -955/60702. Let d = g + -6197/453. Which is bigger: -14 or d?
d
Let j(h) = h**3 + 14*h**2 + h + 15. Let t be 4 - (-1 - (-21 - -2)). Let y be j(t). Let l(p) = 6*p**3 + p. Let g be l(y). Is g equal to 6?
False
Let t = -36.68 + 36.5. Which is bigger: t or -3/8?
t
Suppose 5*s - s + 3*j = -5, -14 = 5*s - 4*j. Suppose -15*q + 252 = -8*q. Let a be -5 + (12/q - 11/(-3)). Are a and s nonequal?
True
Let b = 185/8 + -1053/40. Which is smaller: -0.5 or b?
b
Suppose 3*r + 0 = -5*n + 3, 0 = -5*n - 5*r - 5. Are -18 and n non-equal?
True
Suppose 0 = -2*f - 0*f - 2. Let d = -3/14 - 9/7. Let n = d - f. Which is bigger: 3 or n?
3
Let r = 470 - 469. Let g = -126/89 + 14164/9879. Is g at least r?
False
Let h = -251/28 - 5/28. Suppose -468 = -421*s + 473*s. Which is smaller: s or h?
h
Let g = -365/5264 - -2/47. Are g and 0 equal?
False
Let b be (-3)/4 - (-12683)/16896. Which is smaller: 1 or b?
b
Let q be ((5 - (-138)/(-28))*2)/1. Is q > 0?
True
Let h be (-27)/60 - (-1)/2. Suppose 0 = -3*w