(6 - 3) + 2*t/(-72). Do j and f have different values?
True
Let c be 7 + (-20)/10 - 16. Suppose 5*r = -8 - 17, 3*z - 52 = 2*r. Let j = z + c. Which is smaller: 6 or j?
j
Let t = 1845612/5 - 369121. Suppose -w - 13 = -0*w - 4*v, -3*w + 9 = 4*v. Let k be w*(-3 + 2/1). Which is smaller: k or t?
k
Let j = -3744 + 5305. Is 1559 <= j?
True
Let a = 2504 + -5919. Do -3414 and a have the same value?
False
Suppose -78*w + 9815 = -13*w. Which is smaller: 449/3 or w?
449/3
Let g = 1914 - 1915. Is -19/98 equal to g?
False
Let l = 35 + -33. Let p be l/(2*2) - (-99)/(-174). Is 1 greater than or equal to p?
True
Let t = -0.231 + 0.193. Is -14 at least t?
False
Suppose -3*l = -2*r + 41, -2*r + r = 5. Suppose -w + 2 + 108 = -3*v, -3*v = 3*w + 90. Let g be 730/v - 2/14 - -3. Which is greater: l or g?
l
Let c be 4/24 - (-11 - 6335/42). Which is smaller: c or 147?
147
Let f = -93.32 - -95. Let j = f - 1.48. Which is smaller: j or 0?
0
Suppose -2*f = 1 + 7. Suppose 934 - 10 = -154*o. Is f at least o?
True
Let k be 1/16*2 + (-442221)/104. Let a = -250862/59 - k. Do a and 0.1 have the same value?
False
Suppose 0 = -3*b - 2*d - 13, 4*b + 0*d = -d - 9. Let w = 25000 - 1174996/47. Which is smaller: w or b?
b
Let n(g) = 2*g**2 + 56*g - 107. Let c = 258 + -288. Let x be n(c). Let q = 59 - 137/3. Is x less than q?
True
Let n = 205 - 210. Let t be (1/n)/(3038/35). Which is smaller: 1 or t?
t
Suppose -22*n = 4*n. Suppose n = 5*p - 10, 4*x = -p + 189 - 1431. Is x less than or equal to -311?
True
Let o be (-4742)/(-12) - 12/30. Let m = o + -395. Which is smaller: -1 or m?
-1
Let u(j) be the third derivative of 17/6*j**3 + 0*j + 1/3*j**4 + 23*j**2 + 0. Let w be u(-10). Is w > -64?
True
Let u = -130 - -191. Let n = -21.8 + -1.2. Let p = n + u. Which is smaller: 0.1 or p?
0.1
Let k = -6.4016 + -0.1284. Let u = k + 7.53. Let h = 1 + -5. Is h bigger than u?
False
Let i = -280 + 1147. Let w = i - 850. Is w < 1?
False
Let y = -31328 + 31327. Which is greater: y or -6/14551?
-6/14551
Let x(u) = 29*u + 177. Let k be x(-6). Suppose -5*c = -3*v + 4*v - 1, -2*c + 14 = -k*v. Do 4/101 and c have the same value?
False
Let s = -3.041 + 4.634. Is 1/4 smaller than s?
True
Let b = -457 - -398. Let l = 59 + b. Which is greater: l or -4?
l
Let z = 184069/1059865 - 107/629. Which is greater: z or -1?
z
Let t(z) = -z**2 - 12*z - 4. Let x be t(-9). Let a = 26 - x. Let m be a/2*-2*(0 - 13). Are m and 39 unequal?
False
Let u = -7/116 + -11/58. Let f = 0.59 - 24.59. Which is smaller: u or f?
f
Let y be (2 + -3)/33 - 0. Let j(c) = -c**3 - 13*c**2 + 13*c - 11. Let x be j(-12). Let o = 312 + x. Which is smaller: o or y?
y
Suppose 0 = -2*i, -5*a = -4*i + 2*i - 295. Let c = -179/3 + a. Which is smaller: c or 44?
c
Suppose -4*w = -2*c - 4 + 2, -5*c = -2*w + 13. Let u be w - (-104)/190 - 6/(-15). Let z(n) = 2*n + 10. Let j be z(-5). Which is greater: u or j?
j
Let r = -432079377/4615 + 93625. Is r bigger than -1?
True
Let w = -5 + 7. Suppose w*v + 0*v = -2. Let z = -4.2 - -4. Which is greater: v or z?
z
Let m be (-2 - -1)/((-64)/142528). Is 2226 less than or equal to m?
True
Let i = -16051 + 16050. Is i >= 2/6503?
False
Let l(a) = 3*a**2 - 38. Let y be l(-4). Suppose 80 - 40 = y*q. Which is bigger: 28 or q?
28
Let u be 8 - 5 - 24/3. Let k be u/5 + 3 - 66/(-15). Let h = k + -377/55. Is 1 at most h?
False
Let p = -42104/33 + 1276. Suppose -m + 2*z = -455, 0 = 14*m - 17*m + z + 1370. Let y = m - 457. Which is bigger: p or y?
p
Suppose 3*c = -47 + 71. Suppose -c*r = -21*r. Is -22/41 equal to r?
False
Let q(v) = 4*v - 24. Let y be q(7). Suppose y*g - 3 = -39. Let s be 3/5*(-3)/g. Which is greater: -1/14 or s?
s
Let p(x) = 65*x**2 - 1038*x - 86. Let h be p(23). Is h less than 10425?
False
Suppose 2 = -3*p + f, 675*p - 3*f + 6 = 676*p. Suppose 2*h = -3*h + 260. Let b be ((-2)/h)/(1/2). Is p > b?
True
Let q(k) = -95*k - 71. Let p be q(-4). Suppose p = 3*r + 5*h, -15*h = -5*r - 17*h + 496. Is r at least as big as 1/3?
True
Let b = -142 - -254. Let t = b - 111.9. Let l = -8 - -5. Is t at most as big as l?
False
Let z = 11 - -146. Let a be 11/((-165)/(-10)) + (5 - 60/9). Is a greater than or equal to z?
False
Let r be (-129)/9 - 2/3. Suppose 13*s + 18*s = 7936. Let l = s - 273. Which is smaller: l or r?
l
Let x = 17158 - 17157.8. Are 613.7 and x non-equal?
True
Let z(r) = 2 - 7*r + 15*r**2 - 4*r**2 - 6*r**2 - 3*r**2. Let s be z(5). Let u = s + -12. Do 9 and u have the same value?
False
Let m = 45 - 19. Suppose m - 6 = -4*c. Let x(f) = -f**2 + 20*f + 149. Let q be x(26). Is q greater than or equal to c?
False
Let v = 202 - 192. Let c be -1*10/(-5)*(-15)/v. Let j(k) = -k**3 - 7*k**2 - 6*k - 4. Let z be j(-6). Does c = z?
False
Let c = 336.3 - 336. Suppose -x - 3*j + 12 = -2*x, 4*x = -5*j - 133. Let a = 41/2 + x. Which is bigger: a or c?
c
Let o = 0.8433 - -45.6767. Which is smaller: -2 or o?
-2
Let k be 4*1*(-30 - (-2064)/64). Which is smaller: k or -6?
-6
Let k be (2/15*(-261)/(-812))/((-33)/(-8)). Which is smaller: -1/4 or k?
-1/4
Let d = 139/3 + -46. Let k = -16.017 + 42.017. Which is greater: d or k?
k
Let u = 16186 - 17464696/1079. Which is smaller: u or -4?
-4
Let y = -848 - -136. Let n = y + 6436/9. Is 4 greater than n?
True
Let r be (-9)/(-9) + -36*21*56/(-24). Is r less than or equal to 5296/3?
True
Let l(x) = -7969*x**3 + 7968*x**3 - 6*x + 2 + 4*x**2 + x + x. Let a be l(3). Let q = 5014/33 - 152. Which is bigger: a or q?
q
Let h = -11981 + 11998. Is -344 < h?
True
Let v = -1.44 - -1.626. Let t = v + -0.086. Which is bigger: 0.01 or t?
t
Let z(l) = -40*l + 7. Let t be z(-5). Suppose 4*j - 5*y + 48 = t, -84 = -2*j - 2*y. Let a = j - 39. Which is greater: a or 4/7?
a
Suppose 47*u - 1100 = 81*u + 76*u. Which is greater: -267 or u?
u
Suppose -6*z - 293 = 589. Let r be z/(-12) - (100/16 - 6). Is 12 greater than or equal to r?
True
Let m = 1323/2 - 78051/118. Let h = m + 41/354. Is 3 < h?
False
Let t(j) = 13*j**2 + 2*j + 8. Let q be t(4). Let d = 224 - q. Which is smaller: d or -6/167?
-6/167
Suppose -5*p - 104 = 3*c, -3*c + 0*c - 28 = p. Let g(b) = -17*b - 18. Let u be 0/(((-72)/(-48))/((-6)/8)). Let x be g(u). Which is bigger: p or x?
x
Suppose -4*i + 1 + 1 = 5*c, c = 5*i + 12. Let f be c/((-8)/300*3). Let y be (-5)/f - (-57)/15. Is y > 2?
True
Let n = 1508 + -1508. Which is smaller: 1/4254 or n?
n
Suppose 0 = 14*u - 16*u - 4, 0 = -2*x + 4*u + 52. Let c be 24/x + (-2 - (5 - 6)). Let z(j) = j**3 + 3*j**2 + 2*j. Let m be z(-2). Is c at most as big as m?
False
Let b = -43 + 48. Suppose -4*g = 3*m - 107, -b*m + 112 = -2*m + 5*g. Is m less than 121/4?
True
Let t(i) = -i**3 - 20*i**2 - 35*i - 37. Let d be t(-18). Let g = -67 - d. Which is bigger: -88/7 or g?
g
Let w = 16323/25 + -653. Let s be -3*(18 - 15) + 8. Are s and w equal?
False
Suppose 0 = -4*n + 4, x - 4*n + 1676 - 57 = 0. Which is greater: x or -1611?
-1611
Suppose 0 = -30*i - 215 + 185. Which is bigger: 2/8759 or i?
2/8759
Suppose 30*t = -137*t + 167. Which is greater: 6/59 or t?
t
Let f be 1 - (-1 - -2) - 0. Let w = -18280.1 + 18280.148. Which is bigger: f or w?
w
Let n = -758.9703 + -0.0297. Let d = n + 763.991. Let b = d - -0.009. Which is smaller: b or -2?
-2
Let g = 2491 - 2509. Which is smaller: -0.0142 or g?
g
Let i = 12/35 + -2617/385. Suppose -756*m + 192 = 754*m - 1542*m. Which is smaller: m or i?
i
Let z be ((-336)/(-72) + -5)/((-2)/(-6)). Is z < 8/65?
True
Let a = 190 + -4373/23. Let f = 28213.1 - 28212.3. Does a = f?
False
Let s = -0.072 - 0.328. Let a = 0.53 - 0.5. Let n = 0 + a. Is s smaller than n?
True
Suppose -8*k - 646 = 2*t - 6*k, -3*t = -2*k + 954. Is t at most -3?
True
Let k be (-39)/(-5748)*135/585. Is -1 at least as big as k?
False
Let q be 36/803 + 106/(-220) + 225/750. Suppose -2*j - 3 + 1 = 0. Which is smaller: q or j?
j
Let s(a) = 328*a**2 + 25*a + 56. Let f be s(-2). Is 1320 <= f?
False
Let p be 4/(-6)*(-1)/(1/(-9)). Let m be (-616)/28 - (0 - p). Is -34 bigger than m?
False
Let f = 2.9 - 3. Let n = -129 + -41. Let p = -79 - n. Which is greater: p or f?
p
Suppose 63 = y + 60. Suppose 2*x - 151 = -r, -3 - 128 = -2*x + y*r. Is x at least as big as 74?
False
Let g = 2811/40 + -70. Let p be ((-63)/33 + 2)/((-15)/(-6270)*38). Which is bigger: p or g?
p
Let v(t) = t**3 + 115*t**2 - 471*t - 550. Let q be v(-119). Is -1141 less than or eq