 3*d - h = 0, -5*f - d = -405. Which is smaller: f or 78?
78
Let r = -2/4297 + 10168/3381739. Let d = -10269/14953 + r. Is -2 at least as big as d?
False
Let u(c) = -5*c + 4. Let x be u(-3). Let m = -4786 + 4798. Is x at most m?
False
Suppose -y - 2 = -3*y, 2*r - 3*y + 301 = 0. Let q(w) = -w**3 - 13*w**2 + 12*w + 43. Let a be q(-4). Do r and a have the same value?
True
Suppose -3*t - 2*s = 331, 5*t - 2*s + 558 = s. Let z = 61 + t. Which is smaller: -48 or z?
z
Let o(h) = h**2 - 13*h + 16. Let y = 641 + -632. Let u be o(y). Is u equal to -16?
False
Let o be 432/(-212)*259/8547. Which is smaller: 2 or o?
o
Let x = 7 - -7. Let o be (-855)/126 + 7 + 4/x. Which is smaller: 1/9 or o?
1/9
Let u = 11/1306 - 21057/949462. Is u < 0?
True
Let v be -7 - (-30660)/1125 - 1/(-2). Let g = v - 125/6. Let j be (-2)/(-8) + 5/12. Which is greater: g or j?
j
Let i be 2/16 + 207/72. Suppose -2*q + 2*o + 2 = 0, -3*q - 1 = 4*o + i. Suppose 2*g = -5*w + 23 - 3, g = q. Is -3 bigger than w?
False
Suppose 14 = 5*b + 2*r - r, 2*b + 2*r - 4 = 0. Suppose 2*w - 30 = l - 71, -5*l = -3*w - 65. Which is bigger: b or w?
b
Let p = -12780 - -12371. Is -408 at least as big as p?
True
Suppose 17*i + 13356 = 7*i + 28*i. Is 6686/9 greater than or equal to i?
True
Suppose -29*h - 3*h = 39*h - 4402. Suppose 5*i - 305 = -0*i. Is h <= i?
False
Suppose 118*w = 3110 + 1374. Are w and 45 non-equal?
True
Let m = -371 + 613. Suppose 3*g - c - 722 = 0, -8*g - m = -9*g - c. Let s = g + -2643/11. Which is bigger: 0 or s?
s
Let u be 12 - (1 - 2 - 0). Suppose -u = -h + 40. Let o(f) = -f**2 - 310*f - 19746. Let b be o(-220). Is b at most h?
False
Let a(w) = 557*w + 1675. Let m be a(-3). Is m less than 172/53?
False
Suppose 6*q - 4 = -40. Let x(n) = -n**3 - 5*n**2 + 4*n - 10. Let m be x(q). Let p = -163/4 + 41. Is p at least m?
False
Let s be 8/64 - 978*2/32. Which is smaller: s or -28?
s
Suppose 5*w - 2*w = 2*h - 97986, -5*w = h + 163297. Let p = w + 164217/5. Let m = -182 + p. Do 0 and m have different values?
True
Let s be (128/20 - 4)*1945. Let q = s - 23239/5. Which is smaller: 21 or q?
q
Suppose -208*k = 100*k. Is k bigger than 21/74?
False
Let g be 2/(-2)*(-216)/(-28). Let d be ((-12)/(-24))/(1/(-6)) - (-50)/(-10). Is d bigger than g?
False
Suppose -301 + 96 = -5*h. Let q = 43 - h. Suppose q*z - 6*z - 16 = 0. Which is smaller: z or 1/2?
z
Suppose -1364 = -8*q - 12. Let x = 161 + 7. Which is bigger: q or x?
q
Let y be 2 - (39/3)/((-18)/(-3852)). Is y > -2778?
False
Suppose 2*f + 58 = f - 2*q, 2*f + 5*q = -118. Let n = f + 57. Suppose -n*i + 4 = -11. Is 4 at least as big as i?
False
Let s = 9579398/11 + -871438. Which is smaller: -583 or s?
s
Let n(c) = 78*c + 546. Let i be n(-7). Which is smaller: i or 2/30751?
i
Suppose -221 - 139 = -9*k. Suppose -13 + k = 3*y. Is 2 > y?
False
Let w be -4 + 6 + (-232)/46 + 96/32. Is -25 greater than or equal to w?
False
Suppose 4*g + 5*w = -5929, 10*g - 15*g = -2*w + 7436. Which is smaller: g or -1487?
-1487
Let r = -4.264 + 1.764. Which is greater: r or -2.2?
-2.2
Let j(i) = 13*i**2 + 62*i - 15. Let p be j(-5). Is p greater than or equal to 1/46?
False
Let w = -17.51 - -26. Let m = 0.49 - w. Let s = 13 + -13.2. Is s > m?
True
Let x be 9*1*(-308)/33418. Are -1 and x nonequal?
True
Let w be -9 + 10 + (2/34)/(8/(-34392)). Is -252 equal to w?
False
Let f be 960/(-3200) - 1*(-82)/(-10). Which is smaller: f or -8?
f
Let u = -4 + -2. Let s(t) = -3*t**2 - 2*t - 25. Let z(k) = 7*k**2 + 3*k + 56. Let b(f) = -5*s(f) - 2*z(f). Let a be b(u). Are 25 and a unequal?
False
Suppose w - k = -5, -3*w - 4*k - 20 = -40. Suppose 27*g - 36*g + 468 = w. Which is smaller: g or 50?
50
Suppose -q = -u + 23, 4*u + 38 = -2*q + 8*u. Let i be (((-4)/(-3))/((-9)/q))/(-1). Which is greater: i or 0?
0
Suppose s - 23 = 4*d - 9*d, 0 = -4*s + 12. Let q(o) = o**3 - o + 1. Let b be q(2). Suppose 3*i = -5*g - 5, 5*g - 5*i - b = 28. Is d != g?
True
Suppose 5*g + 109 = -20*u + 19*u, -3*g - 75 = 3*u. Is -28 < g?
True
Suppose -14*o - 72 - 650 = -92. Does o = -3/118?
False
Let u = 494 + -450. Let d be (0 - u)/2*(9 + -7). Is -43 bigger than d?
True
Let s = 96469 - 96469. Let u = 28.98 + 0.02. Does u = s?
False
Suppose -7*f - 16 = -5*f. Let y be 110/25 + f/20. Let b be (-83)/(-42) - (y - 2). Which is greater: 0 or b?
0
Let i(g) = -2*g**3 + 34*g**2 - 32*g + 4. Let u be i(16). Suppose u*r = 4*d + 1 + 7, 2 = -5*r - d. Which is bigger: -7/8 or r?
r
Let q = -1/14786 + 2217907/103502. Does 0.15 = q?
False
Suppose 140*b - 136*b + 36 = -2*v, 5*v + 4*b = -120. Let d(o) = -2*o**2 + 2*o - 3. Let c be 3/(-7) + 108/(-42). Let g be d(c). Which is smaller: g or v?
v
Let a be (-4*(-2)/4)/1*-1. Let z = a + 3. Is z >= 124?
False
Let a = -46019/4 - -11506. Let c be 2 - 1 - (5 - 7). Is c > a?
True
Let f = -28183/3 - -818378/87. Is 12 smaller than f?
True
Let g be 3125/22000*(0 + 1/(-5)). Which is greater: -1 or g?
g
Suppose 10865 = 5*g + 5*l, g - 59 = 2*l + 2093. Which is smaller: 15160/7 or g?
15160/7
Let f = -35802 - -32855. Which is smaller: -2945 or f?
f
Suppose 27 = -11*p + 20*p. Suppose p*k + 656 = 4*a, 409 = -2*k - 10*a + 7*a. Which is smaller: -210 or k?
k
Let k(i) = -5*i - 10. Let n be k(-2). Suppose 2*g + 5 - 19 = 0. Suppose g*l - l = n. Is l smaller than 2/35?
True
Let p = 253 + -429. Let o = 184 + p. Let f = 21 - 64/3. Which is smaller: f or o?
f
Let c(o) = 236*o + 477. Let p be c(-2). Let k = -37 + 34.9. Let f = k + 2. Is f greater than p?
False
Let c = -45239 + 45189. Let f = -2 + 1.9. Which is smaller: f or c?
c
Let h be -1*(-1)/(-2)*-22. Suppose -2*u + 4*a = -h - 1, -5*u + 48 = -a. Let o be ((-8)/(-2))/(-8 + u). Is o at most 5/4?
False
Let c = -59.56 - -59.2823. Which is bigger: c or 1?
1
Suppose -8*i - 92 = -6*i. Let x be (i/(-3))/(20/1266). Let y = -980 + x. Is -10 less than y?
True
Let o(s) = -65*s**2 + 4*s + 7. Let g be o(1). Which is greater: g or -271/5?
g
Suppose 7*l + 20 = 12*l. Suppose -2*j = l + 28. Let u = -10071/2 - -5021. Which is greater: u or j?
u
Let i be 5000/(-6)*17/((-68)/(-18)). Are -3752 and i nonequal?
True
Suppose 30*k = 41*k - 102*k. Is k at most as big as -7/1948?
False
Let v be ((-96)/(-56))/(2 - 380/392). Is v > 3?
False
Let h(r) = -r**3 + 6*r**2 + 7*r + 4. Let t be h(7). Let c be 2/t - (-27)/18. Let j be (-4*2/10)/c. Do j and -1 have different values?
True
Let r = -126 + 182. Let a = r + -57. Which is greater: -2/337 or a?
-2/337
Let w(a) = -a. Let r(g) = -28*g - 63. Let k(v) = r(v) - 35*w(v). Let h be k(8). Let p = 0 - 4. Is h at least p?
False
Suppose -98*t = -105*t - 7. Let z be ((-44)/(-16)*t)/(5/(-40)). Is 108/5 >= z?
False
Let u = -73 + 104. Let k be 4/8 + 52/(-40)*-23. Which is smaller: u or k?
k
Let j = -5.252 + 5.252. Is j less than -4333?
False
Suppose 0 = -4*y + 2*y. Let u = y + 9. Let p = 920 - 912. Which is smaller: p or u?
p
Suppose -27 = -2*w - 15. Suppose -s = -w*n + 10*n - 97, -300 = -3*s - 3*n. Which is greater: 0 or s?
s
Let y = 72 + -254. Let j = y + 181.91. Which is bigger: j or -13?
j
Suppose 32*d = 51*d + 551. Let q(f) = 18*f - 30. Let v be q(d). Do v and -552 have the same value?
True
Let c(q) = q**3 - 14*q**2 + 16*q - 25. Let t be c(13). Let g be t + -18 - (31*3 - 1). Are g and -97 equal?
False
Suppose -2*b - 4*h - 124 = 0, 0 = 3*b - 26*h + 31*h + 184. Which is bigger: b or -0.055?
-0.055
Let a = -250 + 682. Suppose -10*p + 3532 = a. Is 310 less than p?
False
Suppose 13*h - z = 16*h - 32, 5*h - 51 = -4*z. Let v = 0.079 - -1.921. Do h and v have the same value?
False
Let n = -25 + 33. Let k(g) = -36*g**2 + 24*g - n*g + 1 - 16*g. Let t be k(1). Is t > -36?
True
Let d = 121.4 + -137. Let z = d + -0.4. Which is smaller: z or -2?
z
Let v be (-9)/14 + 4/8. Let a(w) = 23 - 42 - w**3 + 20 - w**2 + w. Let p be a(-1). Is v equal to p?
False
Let y = -55.81 - -58.3. Let j = y + 0.51. Which is smaller: j or 2.9?
2.9
Suppose -150*j + 169*j + 48412 = 0. Is -2549 equal to j?
False
Suppose 9 = 3*g, 2*s + 2*s + 3*g = 141. Let r = 469.2 + -401. Let i = 68 - r. Is i <= s?
True
Let o(i) = -1124*i**2 - 47*i - 44. Let v be o(-1). Does -14 = v?
False
Let t(p) = -p**3 - 35*p**2 + 2*p + 62. Let h be t(-35). Let u be 138/8 - 1/h*-2. Which is smaller: 24 or u?
u
Suppose -12*l + 19 = -17. Suppose -5*z - l*i = 2*i - 15, 0 = 2*z - i. Which is smaller: z or 1/7?
1/7
Let j = 14698.8 -