a = -2*a + 12. Let k = -110/19 - -702/95. Which is smaller: m or k?
m
Suppose -y - 42 = -15*y. Suppose -f + w - 22 = -y*w, -4*f = -4*w + 112. Do -31 and f have different values?
True
Suppose 3*r + p = 33, 3 = 3*r - 2*r + 3*p. Suppose 2*v = 3*k + 4, 0 = -v + 2*v + 2*k + r. Are v and -5 equal?
False
Let k = -23 + 21. Let o be (k - -3) + 3 + -7. Are o and -8 nonequal?
True
Let d = 83.9 + -75. Let j = 0.1 + d. Is j < -1/3?
False
Let x = -4.1 - -4. Is x != -205?
True
Let z be 5/2 + 2162/(-188). Is -13 > z?
False
Let j(c) = -c**3 + 2*c**2 + 2*c - 3. Let t be j(2). Let b(d) = d**3 + 6*d**2 - d - 8. Let l be b(-6). Let g be 24/(-33)*3 - l. Which is smaller: t or g?
g
Let z = 1/17 + 401/119. Let w = 40 - 38. Do w and z have the same value?
False
Suppose -5*g = 5*s - 55, 43 = 4*g + 5*s - 2*s. Suppose a + g = 4. Which is smaller: -10 or a?
-10
Let r = -124325/7 + 17866. Let o = r + -105. Let v be (-1575)/4851 + 2*2/22. Is o at least as big as v?
True
Let t = 718 + -540. Which is smaller: 176 or t?
176
Suppose -7*x = -6*x - 3. Let m be ((-46)/(-20) + -2)/(x/4). Let y = -0.5 - -0.44. Which is smaller: m or y?
y
Let g = -31412/11101 + 4/653. Is g smaller than -2?
True
Let m = 538 - 3770/7. Which is smaller: m or 0.07?
m
Let o = 3697 - 1290255/349. Which is greater: -1 or o?
o
Let t be (10/153)/((-315)/(-378)). Let b(c) = c**3 - 5*c**2 + 3*c + 4. Let j be b(4). Is j less than or equal to t?
True
Suppose 0 = -3*s - z + 7, 4*s - 3*s - z = 1. Let k be (1/(-52)*2)/(10/(-480)). Is k bigger than s?
False
Suppose 9*f - 34 = 7*f. Is 83/5 less than or equal to f?
True
Let i = 3.5 + -1.8. Let a = 8.3 + -4. Let r = a + i. Which is smaller: r or -1/4?
-1/4
Let j(z) = 2*z**2 - 7*z + 7. Suppose 0 = -2*b - b - 69. Let r be b/(-6) - 2/(-12). Let k be j(r). Is 11 > k?
False
Let k = -6 + 6.16. Let a be (105/9)/(-7)*10/75. Is a < k?
True
Let s = -80 - -79.896. Let y = s - -3.104. Is -5/7 > y?
False
Let n be (3 - 1695/567)/((-2596)/(-3768)). Let b = n - -2/413. Which is smaller: b or 0?
0
Let a be 5*(-26)/(-126) - 1. Suppose 65 = 85*t - 20. Is t >= a?
True
Suppose 3*o + 0*o = -3*o. Suppose 4*k + 3*y + 63 = -27, o = -4*k + y - 82. Is -19 smaller than k?
False
Let q = -13.7 + 7.6. Let c = -0.1 - q. Let n = c + -6. Which is bigger: 8/9 or n?
8/9
Let x = 2/102623 - -33659342/51414123. Let t = -2/167 - x. Suppose 0 = -2*r + 5*f - 17, -r - 3*f = -5*f + 7. Which is smaller: r or t?
r
Let v be 8/(-28) + 10/(-14). Let o be (9/(-5))/(21/(-70)). Let r = o + -6. Which is bigger: v or r?
r
Suppose r - 26 = -0*r. Let n(o) = -o**2 + 24*o + 46. Let h be n(r). Which is greater: -25/4 or h?
h
Suppose 0 = 6*a + 10 + 2. Let b be -1 - (-1 - a/(-1)). Suppose 2*v + b = 10. Which is smaller: 5 or v?
v
Let w(g) = 3*g + 12. Let i be w(-5). Let s(z) = z + 11. Let p be s(i). Is p less than or equal to 38/5?
False
Let o = 0.039 - 2.039. Which is smaller: 3/95 or o?
o
Let z be ((-15)/(-1026))/((-173)/2476). Let r = z - 2/1557. Which is smaller: r or 1?
r
Let x be 8/6 + (-1)/3. Let g = -3 + 7. Let a be (g - 1 - 1)*1. Does a = x?
False
Let a be 5 + (1962/(-3))/(-2). Let x be -4*1/(-5)*30/a. Do 1 and x have the same value?
False
Let i(q) = q**3 + 19*q**2 - 40*q + 41. Let h be i(-21). Suppose b = -0*b - 2. Let p be (6/10)/(b/5). Are h and p unequal?
True
Let p be ((24/10)/(66/(-220)))/(-1). Let b = -1.1 - -0.1. Do p and b have different values?
True
Let z(m) = -m. Let w be z(0). Let b be ((-6)/(10 + -16))/(21 + -2). Is b != w?
True
Let j(v) = v**3 + 2*v**2 - 2*v + 1. Let s be j(1). Suppose -3*o + 16 = o. Suppose 4*q - 2 = -o*p + 3*p, 10 = 5*p + 2*q. Is p smaller than s?
False
Let l = -994 - -994. Is 1/685 not equal to l?
True
Suppose -4*a - a - 80 = 0. Let c = a - -16. Is c >= 2/103?
False
Let p = -43.8 - -43.9. Is -4/45 at least as big as p?
False
Suppose -25 = 2*p + 3*p. Let h be ((242/(-44))/11)/(2/16). Which is smaller: h or p?
p
Let d(m) = -m**3 + 5*m**2 - 7*m + 7. Let p be d(8). Let y be -2 + 0 - (-53420)/220. Let n = p + y. Which is greater: -1 or n?
n
Let j(m) = -22*m - 748. Let k be j(-34). Suppose 35 = -5*s - 0*v - 4*v, v = -3*s - 14. Which is greater: s or k?
k
Let q = 9 + -6. Let w = q - 8. Suppose 84 = -29*v + 8*v. Which is greater: w or v?
v
Let o be ((-2)/(-20) - 1) + 1. Let b(v) = -v**3 - 16*v**2 + 5. Let n be b(-16). Suppose -4*c + 0 - 12 = -4*k, -4*c = -n*k + 16. Is c smaller than o?
False
Let f be ((-210)/80)/((-1)/2) - 5. Is 1/144 >= f?
False
Suppose k = -4*k + 25. Suppose 2*v - 2*j + k = -1, -12 = -v - 2*j. Let w be 3 - (-2 - v)*-1. Which is greater: 0.4 or w?
0.4
Let r be 10/(-12) + 4075/(-150). Which is bigger: -169/6 or r?
r
Let j be 0/(-4 + -1 + 7). Is j < 4/257?
True
Let b = 99/5 + -2089/105. Let m = 12323 - 517541/42. Let x = m + b. Which is bigger: x or -11?
x
Let s be -2 + -7*(2 + -3). Let y = 8 - 6. Let l = y - -4. Is l < s?
False
Suppose -5*l - c + 0*c - 258 = 0, l + 54 = c. Let g = -101/2 - l. Let b(w) = -w**2 - 3*w - 1. Let s be b(-2). Is s at most as big as g?
True
Let s be (-9*(-10)/1620)/((-1)/4). Which is greater: s or 1?
1
Let g be ((7/(-2))/7)/1. Suppose 7*s - 4*s - 106 = 5*m, 0 = 3*m + 5*s + 84. Let x = m + 32. Which is smaller: x or g?
g
Let n be (-8)/(-24) - 1908/54. Let d = 24 + -58. Which is smaller: n or d?
n
Let w(c) = c. Let b(z) = -z**2 - 11*z + 11. Let j(a) = b(a) + 2*w(a). Let r be j(-10). Is r greater than 18/13?
False
Suppose -3*d + 159 = 42. Suppose 2*w + d = -w. Which is bigger: w or 1?
1
Let m = 32.1 - 36.1. Which is smaller: m or -3?
m
Let y(r) = -2*r - 6. Let q be y(-4). Let d be (-4 - -4)/(1*q). Let k be (-1)/(-10) - 2/5. Is d >= k?
True
Let t = 2887 - 4088. Is t greater than -1200?
False
Let m be -3*(-4)/12 + 1. Suppose 3*i - 10 = -2*k + 6, m*k - 26 = 2*i. Let u = k - -9. Is 19 less than u?
True
Let h(a) = -a**2 - 14*a - 19. Let o be h(-13). Let x be ((-103)/33 - -3)/(4/o). Which is bigger: x or 0?
x
Suppose 0 = -31*f + 29*f + 32. Let p(i) = -2*i - 5. Let b be p(5). Let l = b + f. Is l greater than or equal to 2/59?
True
Let u be ((-32)/(-14))/(11/((-385)/(-30))). Let v be 24/(-20)*(-5)/2. Let b = v + 1. Do u and b have different values?
True
Suppose 790 = -5*u - a, -15*u + 4*a = -20*u - 805. Is -158 smaller than u?
True
Let c = -7057/5 - -1411. Which is greater: 3.3 or c?
3.3
Let d be (-9)/(-6) - (1 + 49/(-2)). Suppose -8 = -d*t + 26*t. Is -9 <= t?
True
Let c(g) = -243*g + 110. Let u be c(1). Is u < -128?
True
Let h be (-120)/(-56) + 24/28 + -2. Which is bigger: -3/586 or h?
h
Let z = -34 - 28. Let n = z - -66. Are n and -1/4 unequal?
True
Suppose -o - 21 + 8 = 0. Let v = -5 - o. Is v bigger than 7?
True
Suppose 7*s + 607 + 114 = 0. Do s and -103 have different values?
False
Let l = 1576 + -1574. Is -0.81 < l?
True
Let p be ((-20)/(-6))/((-206)/(-3)). Let x = p - 869/927. Let k = x + 25/18. Which is greater: -2/11 or k?
k
Let m = 28 - 71. Let p = m - -42.72. Which is greater: 1/3 or p?
1/3
Suppose 0 = -2*x + 5*x - 39. Let z be 9/3 - (-2 - x/(-3)). Let s be 2/3 + 20/(-12). Is s < z?
True
Let s be ((-2 - 0) + -340)/(3/(-6)). Let v(r) = r**2 - 11*r - 17. Let b be v(13). Let f be 116/s + (-2)/b. Is 1 >= f?
True
Let h = -66 + 31. Let l = h - -34.9. Which is bigger: -18 or l?
l
Let r be 40*((-6)/(-4) + -1). Let o be r/150 + (-4)/5. Let a = 174 + -1220/7. Is a > o?
True
Let k(p) = 3*p**2 + 123*p - 217. Let f be k(-43). Is f bigger than 32?
True
Let d be 2 - (205275/455 + 4/(-26)). Is d not equal to -448?
True
Let z = -11734/3 + 3911. Suppose g - 7 = -3. Let s = 3 - g. Which is smaller: z or s?
s
Let i be 1/(-1 + (-5)/(-6)). Let u = i + 0. Let x be (125 + -116)*-2*3/8. Is x >= u?
False
Suppose 36 = 27*h + 36. Let x = -1/255 - 2537/3315. Which is smaller: x or h?
x
Let v = -2/179 - 67/10024. Which is smaller: 0 or v?
v
Suppose -6*o + 39 = 9. Let y be 52/174 - (o + (-84)/18). Is y at most 1?
True
Let w = 82.4 + -82. Are w and 4/5 nonequal?
True
Let z = -10 - -15. Let p be (76/20)/(1/z). Suppose q - 23 = -5*i + 5*q, -p = -i - 4*q. Is 7 bigger than i?
False
Suppose -27*o + 28*o = -10. Let m = 9 - o. Which is bigger: -0.1 or m?
m
Let k = 0.03 - 0.43. Let x = k + 0.6. Is 18 smaller than x?
False
Let a = 1811/12481 - 4/1783. Which is greater: 0.3 or a?
0.3
Let q be -1*13 + 1 - 0. Let i be (2/6)/((-98)/q). Suppose -3*b + g = -7, -g = -b - 2*g - 3. Which is smalle