 + 4*r - 13547 = 13287, 0 = -3*r - 12. Are b and -8949 unequal?
True
Let q = -2629 - -2642. Which is smaller: q or -108?
-108
Let i be (9/(-5))/(74/((-148)/(-6))). Which is smaller: i or 1375?
i
Let d = 21.461 + -0.861. Let q = d - 49.7. Is q != -2/3?
True
Let c be (1/183 - 0)*(70/15 + -3). Which is bigger: -1 or c?
c
Suppose -15*v = 2*a - 10*v - 50, -63 = -5*a + 3*v. Suppose 0 = 20*n - a*n. Which is smaller: 25/26 or n?
n
Let x(i) = 3*i - 5. Let s be x(1). Let q be (-9)/((-8235)/1840) + s. Does 0 = q?
False
Let l(s) = -276*s - 837. Let j be l(-3). Which is greater: j or -159?
j
Let g = -850.9 + 947. Let l = g - 96. Is -22.8 at least l?
False
Let b be (17/15691)/(4/(-18476)) + 5. Is b bigger than -1?
True
Suppose 4*m - a = -2*a + 4, 0 = 2*a + 8. Let x be (m - 10)/(195/(-45)). Does x = 3?
False
Let y = 3163228/513 + -149200/27. Let g = y - 640. Is g less than -1?
False
Suppose -68155*h + 68162*h = -31703. Is h less than -4529?
False
Let p(z) = 2*z**2 - 54*z + 246. Let f be p(21). Which is smaller: -18 or f?
-18
Let k be (-12)/(-9) + (11931/6)/(84/8). Which is smaller: k or 192?
k
Let z = -52 - -38. Let i = z + 12.3. Which is smaller: i or -1?
i
Let g = -17 + 16.9. Let r = 0.1 - g. Let w = -385.88 + 386. Do w and r have different values?
True
Let o be (-78)/(-12) + 2/(-4). Suppose -5*s = -q + 747, 4*q + 2*s = 1948 + 930. Let y = q + -4297/6. Is o less than or equal to y?
False
Let c = -4 - 14. Let u be 4*4*(-49)/c. Let h = -59210/1359 + u. Is h less than 1?
True
Suppose -2*a - 12 = -5*a. Suppose 3 = 2*n + r, 5*r - 15 = -a*n + n. Let k be (6/15 + n)/(21/(-15)). Which is smaller: k or 0?
k
Let x be (-38)/(-60) + (-2)/4. Suppose j - 28 = 2*w + 5, 2*w + j = -31. Let k be (-15)/(-20) - 4/w. Is x > k?
False
Suppose 7*f = 10*f - 6, f + 34 = 6*q. Which is smaller: q or 177/38?
177/38
Let u be (1 + (-40)/15)*3*-2. Let r be (8/(-20))/1*u/(-16). Which is smaller: 2/75 or r?
2/75
Suppose -4*r - 64 = 2*m, 2 = r - m + 18. Suppose -3*l - l = 5*k + 20, 3*l + 4*k = -15. Let p = -8 + l. Are r and p unequal?
True
Suppose -2256 = k + 7*k. Let i = k - -3105/11. Do i and 12 have the same value?
False
Suppose 0*x - 2*x = 194. Suppose 495 = -5*i + 2*k, -65*i - 5*k - 460 = -60*i. Is i at least x?
True
Let g = 4057 - 4057.1. Which is bigger: g or -369?
g
Let s = 0.51 + -0.71. Let k = s - -98.2. Let v = k - 97.9. Is v less than 53?
True
Suppose -459*b = -2499 + 3630 + 4836. Let w be (0 + 1)*(0 - -3). Suppose -3*z - m = 40, -4*z - 4*m = -w*z + 28. Which is bigger: b or z?
z
Suppose 3*k = k - 44. Let o be (44/20 - 3)/((-6)/135). Suppose 4*y + 3*l + 95 = 0, -o*y + 5*l = -14*y + 87. Which is greater: y or k?
k
Suppose -48*u + 47*u + 940 = 4*g, 0 = 3*g. Is 947 equal to u?
False
Let f be (20/(-35020))/(((4 - 5)/(-11))/(-1)). Is f less than -1?
False
Suppose -4*p = -2*q - 22, p = -p + 5*q + 31. Suppose -2*h - 15 - p = 0. Let a be 1/18*-4 + (-158)/18. Is a at least h?
True
Let y = -53 - -52.18. Let w = 1739.82 - 1711. Let f = y + w. Is f greater than -2?
True
Let u(m) = -m**3 + 8*m**2 + 16*m + 24. Let o be u(10). Let p = 0 - o. Suppose 11*r - p*r + 5 = 0. Are r and 17/7 non-equal?
True
Let l be (-858)/4*(800/12)/2. Let x be 5*(-370)/l - (-4)/(-22). Is 17 greater than or equal to x?
True
Let q(o) = 5*o - 70. Let w(f) = f**2 + 5*f. Let l be w(-7). Let u be q(l). Which is smaller: u or -10/39?
-10/39
Suppose -5*h - 3*g + 7716 = 2878, 4*h = -g + 3876. Suppose 5*b - 2*k - 2*k = h, -3*b + 614 = 4*k. Are b and 198 equal?
True
Let n be 3/(-9) + (-316)/(-894). Let m = -28171 + 28172. Which is greater: m or n?
m
Let p = -1251/20 + 8553/140. Let x = p - -8/5. Let k = x + -3/7. Which is bigger: 0.06 or k?
0.06
Let d = 60.77 + -58.77. Is d equal to 5356?
False
Suppose 72*m + 34*m = -97*m. Let y be (-4)/(-18) + (-2)/(-6). Which is smaller: y or m?
m
Let k = 1432 - 638. Let b = -113540/143 + k. Let q(a) = a**2 + 29*a - 29. Let s be q(-30). Which is greater: s or b?
s
Suppose 4 - 3 = 21859*h - 21860*h. Which is greater: -20/3873 or h?
-20/3873
Let v be 0*5/(-5) + 2. Let u be v/(-10) - ((-371)/5 - 1). Let c = 74 - u. Which is bigger: 0 or c?
0
Suppose -19811*a + 9 = -19820*a. Suppose 5*u = -7319 + 1209. Let c = 9761/8 + u. Is c greater than a?
False
Suppose 4*m - 8 - 32 = 0. Suppose 2*b = -0*b + m, -4*y - 88 = -4*b. Let r be (-2)/(-3 - -1) + -19. Is y bigger than r?
True
Let w = -644 - -65046/101. Let x = 40517 - 40518. Which is greater: w or x?
w
Suppose -3*r = -1696*v + 1694*v - 8, -1 = 5*v + 2*r. Which is smaller: v or 3/487?
v
Let v(a) = -2*a**2 + 96*a + 212. Let q be v(50). Suppose 6 = 2*n - 5*n. Let h be (n/q)/((-133)/28). Is h less than -1?
False
Let z(d) = -368*d + 736. Let o be z(2). Let j = 779/36356 - 3/596. Is j less than o?
False
Let n = -1/16554 - 1059377/1307766. Which is greater: -2 or n?
n
Let n = -9.33 + -0.37. Let z = -5584.7 - -5586. Let r = n - z. Is r at least 1?
False
Let z = -20153/49914133 - -6/9949. Are -1 and z non-equal?
True
Let i be ((-222)/9)/(2/6). Suppose -2*m = 5*l + 124 + 248, 2*l + 143 = 5*m. Are i and l nonequal?
False
Let s be ((-3809)/572)/(2 - (-650)/(-328)). Let o = -364 - s. Are o and 0 non-equal?
True
Suppose -53609 = -2*i + v, -4*i + 174069 - 66854 = v. Which is smaller: i or 26803?
26803
Let a(d) = -2*d**3 - 7*d**2 + 7*d + 9. Let o be a(-4). Let g be (-5 + 105/33)*o/(-18). Are g and 0 equal?
False
Suppose -260*s = -228*s + 64. Which is bigger: s or -63/19?
s
Let l = -1414 - -4241/3. Is l bigger than 1124?
False
Let k = -9600.8 + -301.2. Is k equal to 0.2?
False
Let x = 386/275 - 1/25. Let y = -80419 - -80420. Which is greater: y or x?
x
Let u = 799 - 258. Suppose 8*f - u - 99 = 0. Is 80 != f?
False
Let b = 1 + -1.4. Let z(q) = 149*q**2 - 4*q + 2. Let a be z(1). Let k be (-6)/(-4)*(-56)/a. Which is greater: b or k?
b
Let w = 11 + -9. Suppose -4*i + 12 = -w*i. Let k be i/21 - (3135/2268)/5. Is -1 at most k?
True
Let t = -1552 + 1549. Let l(w) = 7*w**3 + 2*w**2 + 4*w + 8. Let g(v) = -v**3 - v - 1. Let f(h) = -6*g(h) - l(h). Let o be f(t). Which is bigger: o or -3/7?
o
Let q = 405.3 + -354. Let d = -2116 - -2164. Let z = q - d. Is z bigger than 1?
True
Suppose 70 - 8 = 2*f. Let q be (-7 - (54/12 + 4))*-2. Is f greater than or equal to q?
True
Let l(m) = -2*m**2 + m - 7. Let n = 23 + -20. Suppose -39 = -16*f + n*f. Let c be l(f). Which is smaller: c or 2/3?
c
Let m be (-6 + -121 + 12/3)*(-130)/78. Which is smaller: 203 or m?
203
Suppose -t - 14 = 2*b, b - 10*t = -6*t + 11. Let w be -9*-2*b/(-15). Suppose -8*f - 18 - w = 0. Does -7 = f?
False
Let k be 396/(2 + -1) + -39 + 31. Is 394 < k?
False
Let v = -50 + 54.7. Let z = 4.3 - v. Let m be ((-4)/(-8))/(5/(-8)). Which is greater: m or z?
z
Suppose 513 + 3919 - 813 = -47*k. Does k = -86?
False
Let w = -30.8 + 28. Let c = 0.62 + -2.28. Let i = c + 1.56. Which is smaller: w or i?
w
Let y = 2448808126/125 + -19591177. Let v = 712 + y. Which is bigger: v or 0?
v
Suppose 5802 = -4*x - 1446. Which is bigger: x or -1813?
x
Let p = 84 - 51. Let h = p + -38.9. Let j = h - -6. Which is greater: j or -0.8?
j
Suppose 15*q = -q + 64. Let h(b) = b**3 - b**2 - b + 1. Let k(v) = -6*v**3 + 9*v**2 + 5*v + 1. Let p(z) = 5*h(z) + k(z). Let n be p(q). Are 10 and n non-equal?
True
Suppose k + 2*o - 4*o - 2 = 0, 0 = 4*k - o - 43. Let l(q) = q**2 - 3*q + k*q + 117 - 118. Let j be l(-9). Does -2/69 = j?
False
Let r(g) = -112*g**3 - 2*g**2 + 2*g - 1. Let v be r(1). Let x = 158 + v. Let p be 14/(-35) - -6*(-12)/x. Which is smaller: p or -3?
-3
Suppose 17*c + 11*c = -7*c + 245. Is 301/50 less than or equal to c?
True
Let x be (-29464)/(-312) + 112/84. Is 97 < x?
False
Let v be 4/2 - 4 - (-1 - 5). Let q be ((-2)/(-4))/((-892)/(-224) - v). Is -25 greater than q?
True
Let x be (-6)/15 + (-8)/(-20). Let v be 2/(-3)*(-60)/(-8060)*13. Is v != x?
True
Let s(q) = q**3 + 47*q**2 - 209*q - 73. Let m be s(-51). Which is smaller: 183 or m?
m
Let a be (-20)/124*147/385. Which is smaller: a or -1?
-1
Let m = 1954 - 310685/159. Suppose 0 = 3*c, 2*q = 4*q - c + 2. Let x(d) = -2*d - 1. Let b be x(q). Which is smaller: m or b?
m
Let v be (-5*72/(-60) + 222)/((-9)/6). Which is smaller: v or -138?
v
Let j be (-206)/75 + 18/225. Suppose -13 = 5*u + 7. Is j less than u?
False
Let g = 158 + -158. Let b = 101272/27525 - -4/5505. Let q = b + -4826/1325. Whic