
Suppose f + 4*r = 6*f - 369, -5 = 5*r. Let m = -255413 - -255486. Is m bigger than f?
False
Let a be (-23)/(-7) + 4/(-14). Suppose -3*y = -5*u + 35, -8*y + 3*y - 5 = -3*u. Suppose -u*h - 24 = -2*h. Which is greater: a or h?
a
Let v(r) = -6*r + 11. Let d(k) = -k + 1. Let a(c) = 5*d(c) - v(c). Let w be a(6). Let p = -793 + 11097/14. Is p not equal to w?
True
Let i be 5*(63/(-35) + -4 + 72/20). Are i and -375/37 unequal?
True
Let p = 390 + -386. Suppose 5*r = p*x - 197, -5*r + 147 = -2*x + 6*x. Which is greater: x or 41?
x
Let p be (0 - 1063/942) + (-10)/(-6). Let l = p - 6/157. Which is bigger: l or -55?
l
Let a(z) = -104*z**2 + 55*z - 429. Let b be a(6). Which is greater: -3841 or b?
-3841
Let l be (26/6)/(2/6). Suppose v - l = -1. Suppose -i + v = i. Is i smaller than -3?
False
Let w be (-1207)/4 - 12/(-16). Let o = -296 - w. Which is smaller: -2.1 or o?
-2.1
Let i = -23435/4 - -5859. Is i != -6446?
True
Let i(q) = -q**3 + 13*q**2 - 13*q + 10. Let k be i(12). Let o be k*7/(84/66). Let c be (-7)/(63/o) - (-2)/(-9). Which is smaller: c or -2/35?
-2/35
Let m = 7 + -3. Suppose 6 = -7*q + m*q. Let p be 1*((-24)/120 - 6/5). Which is smaller: p or q?
q
Let p = -303 - -717. Let d = -509 + p. Which is smaller: d or -187/2?
d
Let g = 154.4 - 150. Let l = g - 4.2. Which is smaller: 17/4 or l?
l
Let b(q) = -3*q**2 + 5*q + 15. Let d be b(-3). Let l be (-3)/(d/153)*1. Which is smaller: 13 or l?
13
Suppose -50*f = 10*f - 480. Let l = -3 + 13. Is f smaller than l?
True
Let s = 6.64 - 7.156. Let m = s - 0.984. Is 0.07 bigger than m?
True
Let m be (132/(-28))/(41/(8036/42)). Let c be -2 + 1 + (-5)/(-4). Is c at most m?
False
Let f be (-14)/8 - (-104)/(-234)*(-9)/2. Do f and -401 have different values?
True
Let c = -3601 - -3601. Suppose 4*d - b + 286 = 7*d, 4*b = -d + 88. Let o be d/(-20) - (-2)/1. Which is greater: o or c?
c
Let p = -55.74 - -76.3. Let g = p + -10.56. Let m be (-44)/48 + 2/8. Which is smaller: g or m?
m
Let j be ((-3)/(-2) + (-119)/34)/2. Which is bigger: -2/55141 or j?
-2/55141
Let n = -11113 - -10359. Is 1 bigger than n?
True
Let p(z) = 54*z - 15 - 115*z + 56*z. Let b be p(-7). Suppose -4*f + b - 8 = 0. Is 2 bigger than f?
False
Suppose 19*y - 74 = 17*y. Let k = -32 + y. Suppose k*j - j = -4. Which is bigger: 3/22 or j?
3/22
Suppose 2*j + 12 = -4*l, -4*j + 22 = -3*j - 5*l. Let m be j/(-24)*2 + (-35)/90. Is 0 < m?
False
Let k be (-65468)/(-15330) - (-20)/(-5). Let z = -2/511 + k. Is z <= 0?
False
Suppose -308 = 11*g - 407. Suppose -11 = -4*n - 79. Let y = n - -14. Which is greater: g or y?
g
Let o = -5750/37 - -14242084/91649. Which is smaller: o or 0?
o
Let d be 2*(44/40 - 2/(-5)). Suppose -9*o - 5*f = -5*o + 1, o = -4*f - d. Which is bigger: 4/27 or o?
o
Suppose 0 = 5*x - 2*d + 13 + 52, 5*x + 4*d = -65. Suppose -202*v = 2*y - 199*v + 15, v = -y - 8. Is y bigger than x?
True
Let x = -166.6 + 164.6. Which is smaller: -5.2 or x?
-5.2
Suppose -1 = -5*a + 34. Let u = 42803 - 42738. Which is smaller: u or a?
a
Let n(q) = -q**2 + 27*q + 103. Let s be n(30). Suppose -5*g + 3*k = 77, 8*g - s*g - 73 = -2*k. Which is smaller: -14 or g?
-14
Let s be 59/(-4)*(1235444/(-30) - -6). Let o = -607074 + s. Let y = -264 + o. Is 0 at least as big as y?
False
Let d = 23 - -98. Let n = 128 - d. Suppose -13*k - 54 = -n*k. Which is smaller: k or -5?
k
Let s be (-4)/(-14) + (-107)/7. Let z = 70 - 23. Suppose 5*h + z = -3*v, -h + 6*h + 19 = -v. Is s != v?
True
Suppose 7*u - 3*f = 8*u - 7382, 4*u + 5*f = 29472. Are u and 7358 unequal?
False
Let o be 7/((-21)/144) - -2. Let n = -57701 - -57706. Do n and o have the same value?
False
Let j = 3318 + -3317.81. Which is greater: j or -1/4?
j
Let o(i) = -14*i - 727. Let z be o(-54). Suppose 47 = q + 20. Is z less than q?
False
Let r be 973 - 2 - -5*(-2)/(-30)*-18. Which is smaller: r or 966?
r
Let x(f) = 83*f - 1052. Let s be x(12). Let k(q) = -10*q + 3. Let d be k(6). Which is greater: s or d?
s
Let x = 242478 - 1707786/7. Which is greater: x or -1490?
-1490
Let z be 0 - 0*(-5)/10. Suppose 5*t + g + 170 = z, 5*t + 7*g - 3*g + 155 = 0. Let s = 4 + -38. Which is smaller: t or s?
t
Let u be ((-6)/4)/(49/(-27538)). Which is smaller: 844 or u?
u
Let s be 1/(-2) - (7 + 33/(-2)). Suppose c - s*c - 1080 = 0. Is c equal to -133?
False
Suppose -4*z - 5*c + 101 = 0, -4*c - 58 + 2 = -4*z. Suppose 3*q + z = -26. Is -17 greater than or equal to q?
False
Let a = 2438.0642 + -2464.94. Let m = a + -0.0242. Let z = m - -27. Which is smaller: -10 or z?
-10
Let u(o) = -o**2 + 5*o + 2. Let v be u(5). Suppose -3*f + 2*r + 5 = -0, -2*f + 3 = -r. Let y be ((-9)/108)/(f - (-34)/(-33)). Which is smaller: v or y?
v
Suppose 9*x - 234 = -0*x. Let s = x + -21. Suppose -2*g + 7*g = 2*q + 9, s*q - 3 = 4*g. Does q = 26/9?
False
Suppose 1836 = -2*i - 7*i. Let p be 7 + i/30 - (-1)/(-5). Suppose 4*t - 11 - 9 = 0. Is t equal to p?
False
Suppose 2421 + 405 = -119*l - 30. Let f be (75/12)/((-3)/12). Is f >= l?
False
Let j = 846 - 1245. Let n be (68/6)/2 - (j - -404). Do n and -22/5 have the same value?
False
Let o(r) = r - 10. Let a be o(4). Let i be -16 - -9 - 1*a. Which is smaller: -9/62 or i?
i
Let m = 6897 - 6896.72. Suppose -5*x - 5 + 0 = 0. Is x > m?
False
Let d be -4*(-4)/(-8) + 0/(-5). Let q(l) = -4*l - 2. Let z be q(-2). Let n be 28/(-12) - (-2)/z. Do n and d have different values?
False
Let z(r) = r + 4. Let o be z(-4). Let k = -39811/14 + 6219/2. Let l = 266 - k. Is o greater than l?
False
Let n = -510 + 510.33. Let v = -48.54 + 49. Let z = n - v. Which is bigger: z or 1?
1
Let s = -439 - -422. Let b be 24*(-5)/(-15) + s. Let v(a) = -2*a**2 + 4*a - 3. Let q be v(3). Do b and q have the same value?
True
Let y = 332 + -657. Let b = y + 325.956. Let c = 0.044 + b. Which is greater: c or -2/3?
c
Let d be ((-50)/(-15)*3)/2. Suppose -12 = d*k + 8. Let m(i) = -i**2 - 4*i - 5. Let s be m(-4). Which is smaller: k or s?
s
Let s = -2123 - -6370/3. Let x = 0.045 - 33.045. Let f = 47 + x. Is s at most f?
True
Let j = 19 + -18. Let l = 137 + -89. Let t = l - 44. Which is greater: t or j?
t
Suppose 122*x + 7 - 22 = -137. Which is smaller: x or 1/24287?
x
Let c(n) = 18*n - 4. Let k be (10/(-20))/((-2)/4). Let z be c(k). Suppose 18 = 11*s - z*s. Which is smaller: 1 or s?
s
Suppose 3*v + 10 = -2*v. Let u be (-25)/22 - (1 + v). Let x = 14431.8 + -14432. Is u bigger than x?
True
Let b be 11 + 42/(-6) + (68/13)/(-1). Which is greater: -1 or b?
-1
Let v = 56526/7 - 8084. Which is smaller: v or -10?
-10
Suppose -2*f = -2*b - 272 + 40, -5*b = -3*f + 350. Which is smaller: 116 or f?
f
Let d = 5181 + -336757/65. Let y = 1372/9035 - d. Is -1 at least as big as y?
False
Let t = 494 + -488. Suppose v + t = -5*b + 16, -5*b + 10 = -v. Is v < -2/1399?
False
Let p = -38 + 343. Let t = 338 - p. Is t < 0.2?
False
Let h be (-4)/3*(6 - 44790/7460). Let m = -3934/449 - -3100445/334954. Let j = m + h. Which is smaller: -0.019 or j?
-0.019
Let p = -716 + 1733. Let k = 1466 - p. Is 449 at most k?
True
Let f = 3 + -4. Let p be 0/(f*(1 + 1)). Let d = -28.002756 - -0.002756. Does p = d?
False
Let s = -2.0579 - -28.0579. Which is bigger: 134/5 or s?
134/5
Let a(c) = -c**3 - 5*c**2 + 11*c - 18. Let m be a(-7). Suppose 17 + 70 = m*d. Suppose 0 = -0*w - 4*w + 120. Is w bigger than d?
True
Let a = -1733 + 939. Let r = 794.1 + a. Which is smaller: r or 14?
r
Let l = -290 - -162. Let h = l - -74. Let t = -48 - h. Is -3 less than t?
True
Let w(c) = c**2 - 19*c - 22. Let x be w(20). Let s be (6/9)/(x - 292/(-72)). Which is bigger: -1 or s?
s
Suppose -3*n + 2*m - 6 = -18, -4*m = 12. Suppose -6*a - 160 = 4*v - 5*a, 2*a = n*v + 80. Let f be (-362)/9 - 14/(-63). Is v smaller than f?
False
Suppose 128 = 11*y - 8*y + 2*z, -z = y - 41. Let x = y - 24. Let q be (4/(-8) + 0)*x. Is -12 at most as big as q?
True
Suppose 0*l + 4*l = 0. Let t = 283 - 222. Suppose 546 = -54*o + t*o. Are o and l equal?
False
Suppose 5*s = 3*s + 150. Let r = s + -72. Suppose 446 = -4*t - 2*x, -12*x = -r*t - 8*x - 318. Is -110 > t?
False
Let u = 55 + -50. Suppose -u*s - 56 = -251. Suppose -l + j = 11 - s, -j - 51 = -2*l. Which is bigger: 21 or l?
l
Let k = -0.09873 + -16.90127. Which is smaller: -28 or k?
-28
Let x = -2478 + 2429. Is -385/8 >= x?
True
Suppose u + 642 = -4*p, -8*u + 11*u + 1913 = p. Let b = 644 + u. Which is smalle