ve different values?
True
Suppose 415 = 5*l + 485. Which is smaller: l or -15?
-15
Let z(n) = -n + 1. Let y be z(-4). Suppose -210 = y*i - 10*i. Are 40 and i equal?
False
Let k = -700 - -1357/2. Is -21 at least k?
True
Let j = -0.25 + 30.25. Let b = j + -63. Let s = 32 + b. Do s and -17 have the same value?
False
Let y(p) = -p + 8. Let k be y(8). Suppose k = -9*r + 4*r. Let u = 0 - -0.2. Which is smaller: u or r?
r
Let m be -15*(-2)/(-15)*-3. Let k be ((-63)/7)/(m/(-4)). Let o = k - 10. Which is bigger: o or -5?
o
Suppose -j + d = -4*d - 26, 0 = 3*j - 2*d - 52. Which is smaller: 67/4 or j?
j
Suppose 3 = -5*u - 5*b - 2, -3*u - 4*b - 2 = 0. Let l(o) = 5*o + 10. Let t be l(-2). Which is smaller: t or u?
u
Let m = -4.1 + 3.1. Let d = -80 - -74.9. Let u = d + 28.1. Is m less than or equal to u?
True
Suppose 0 = -6*k - 24 - 630. Is k at most -109?
True
Suppose 3*c = -b - 138, 3*c - 94*b = -89*b - 156. Which is smaller: c or -46?
c
Let h(i) = -i**3 - 26*i**2 + 14*i + 12. Let p be h(-27). Is p at least 0?
True
Let c be (-729)/(-171) + 12/(-3) + 0. Is c smaller than 1?
True
Let y = 76611/5 + -15391. Which is greater: y or -70?
y
Let w = 406 + -435.8. Which is smaller: -1 or w?
w
Let j(q) = 2*q**2 - 16*q + 390. Let u be j(14). Are u and 556 equal?
False
Let z = 514 + -512.024. Let k = z - -0.024. Is k != -8?
True
Let q be -6 - (0 + -6) - -47. Is 49 > q?
True
Suppose -4*t = -r - 266 + 13, -2*t + 4*r + 144 = 0. Which is smaller: t or 63?
t
Let h(y) = -2*y + 4. Let p(t) = -t - 1. Let x be p(0). Let r be h(x). Is 9 less than r?
False
Let u = -5.945 + 6. Let b = 0.045 + u. Are b and -10/13 equal?
False
Let i be (2/(-4))/(1/(-20)). Let p = 14 - i. Suppose m + 25 = -p*m - 5*s, 2*m - 2*s = -10. Are -3 and m nonequal?
True
Let a = -9/374 - 39/91630. Which is bigger: 0 or a?
0
Suppose -4*m - 1 - 3 = 2*d, -2*m - 5*d - 2 = 0. Which is greater: m or -5/16?
-5/16
Let i be (3 + -3)/(-1) + -22. Let y be (-18)/24 - i/8. Let g be 3/y*36/999. Is 0 greater than or equal to g?
False
Let g = 32 + -2. Suppose -4*q + 18 = 3*p, -g = -0*p - 5*p - 5*q. Suppose 0 = -2*h - h - p. Which is smaller: -3 or h?
-3
Let q = 55456750 + -4603099160/83. Let d = 2276 + q. Let r = -260/3901 - d. Is 0 > r?
True
Suppose 2*p + 14*p = 464. Let r(f) = f**2 + 4*f - 1. Let b be r(-5). Suppose -p*y + b = -33*y. Is y less than -2/5?
True
Let s be (-2)/(-26)*(-2 - 2). Suppose 0 = -4*y + y + 4*q - 178, -y = 4*q + 54. Let p = 58 + y. Which is bigger: s or p?
p
Let h(c) = 2*c**3 - 3*c**2 - 9*c + 149. Let n be h(0). Is n smaller than 149?
False
Let v(d) = d + 1. Let h = -7 - -12. Let w be v(h). Let z(l) = l**2 - 6*l. Let m be z(w). Which is smaller: -1 or m?
-1
Let d = 25 - 22. Suppose -290 = -2*x - 4*r, -d*x - 5*r - 435 = -6*x. Let k = x + -1017/7. Is 1/3 less than k?
False
Suppose 0 = 7*b - 3*b. Let t be (9/69)/((-18)/4). Which is greater: b or t?
b
Let f(m) = m**3 - 7*m**2 - 9*m + 4. Let z be f(8). Let p be (-12)/(-8) + 2/z. Let d be 1/5*5/4. Is d bigger than p?
False
Let w = 804/7 - 2258/21. Which is smaller: 1/3 or w?
1/3
Suppose x + 5*a = -300, 3*x = -x + a - 1095. Let t be -3 + (-1090)/x - 1. Which is smaller: t or 0?
t
Let d = -3377/114075 + 8/675. Let s = 1919/3380 + d. Let h = s - 4/5. Is h <= -0.01?
True
Let h = -11035796099/2715 - -4064750. Let k = h + 2/181. Let x = 0 + -1. Which is smaller: x or k?
x
Let m = -37 + 45. Suppose 0 = 3*z + 4*c + 16, -3*z = 2*z + 2*c + m. Let y = 4 - 4. Is z at least as big as y?
True
Suppose 0 = 4*v - 9*h + 6*h - 10, 5*h - 22 = -3*v. Suppose -3*g + v*q = -26, g - 10 = 6*g + 4*q. Is 13 less than g?
False
Let g be (-11891)/329 - ((-2)/14 + 0). Which is smaller: 3 or g?
g
Let y = 3.24 + -3.284. Which is bigger: -1/3 or y?
y
Let z be 8/206*(6 - (-1267)/(-210)). Is -1 at least z?
False
Suppose -4*n + 3*r - 7 = 0, 5*r = -3*n - 0 + 2. Let w be ((-2)/32)/(1/2 - 1). Is w != n?
True
Let z be (-2 + (1 - -19))/(12/(-18)). Let d be 2 + z/12 - (-30)/(-8). Is d at least -2?
False
Let a = -6 - -6. Suppose -2*x + 5*x - 6 = a. Suppose y - l + 5 = 0, y + 0 = -x*l + 1. Which is smaller: -2 or y?
y
Let x(f) = -2 + 5 + 24*f - 7 + 23*f. Let y be x(1). Are y and 43 equal?
True
Let m = -136 + 84. Let n be 1 + m/12*3. Let b be 1 + -4 - 8/1. Are b and n equal?
False
Let q be (-2)/4 + 2*(-545)/20. Which is bigger: q or 1?
1
Suppose 6 = -2*d + f, 5*d - 2*f = -3*f - 8. Let r be 0 + (-2 + 1)/1. Let n = d - r. Is -2/11 at most as big as n?
False
Let w = -12.31 - -11.31. Does w = -92?
False
Let x = -4 - -6. Suppose v + x*v = -54. Let j be (-2)/v*3*21. Is 6 at most j?
True
Let g(l) = 2*l**2 - 27*l + 94. Let v be g(7). Is 328 bigger than v?
True
Let s be ((-27)/6 + 3)*-2. Let c = 6 + -12. Which is greater: s or c?
s
Let d = -15.5 + -20.5. Let y = d - -33. Is y smaller than 2?
True
Suppose 4*k + 160 = -0*k. Let v be 70/4*k/(-14). Let l = v - 27. Which is bigger: 22 or l?
l
Let j be 2 + 3/1 + -3. Suppose 143 = 2*s - 41. Let q = -642/7 + s. Is q < j?
True
Let q(f) = f**3 + f**2 - 3*f - 3. Let g be q(-2). Let o = 345 + -1754/5. Let u = o - -488/85. Which is bigger: u or g?
u
Let o(f) = f**2 + 5*f + 3. Let v be o(-3). Let p be v + 0 - (1 - -4). Let x be 61/(-7) - 2/7. Which is smaller: x or p?
x
Let d = 0.146 + -0.246. Is d less than -141?
False
Let t be 9/((-54)/(-12))*34/(-4). Suppose 0 = -i - 3 - 14. Is i >= t?
True
Let z(j) = -2*j**2 - 24*j - 102. Let i be z(-5). Which is greater: i or -37?
i
Let h(p) = p**2 - 12*p + 15. Let m be h(10). Let s(f) = -f - 5. Let q be s(m). Suppose 2*c = 4*g - 8, -2*g + q*g + 3*c = -12. Is -2/45 greater than g?
False
Suppose -3*m + a + 2*a = -303, 0 = 4*m + a - 399. Is 100 at least as big as m?
True
Let i(o) = o + 4. Let n be i(-13). Let f(v) = -v**2 - 9*v. Let u be f(n). Which is greater: 1/9 or u?
1/9
Let u(w) = -3*w + 11. Let f be u(0). Suppose 0 = f*g - 6*g. Which is smaller: 1 or g?
g
Let v = 46 - 139/3. Let p = -67 - -98. Let u = -29 + p. Do u and v have different values?
True
Let m = 9 + 4. Suppose -14*l - 312 = -40*l. Is m less than l?
False
Let s be (23/1380)/((-1)/(-3)). Is -1 != s?
True
Let k be (0 - (-4 + 0))*(-14)/(-10). Is k < 6?
True
Let o(d) = -18*d - 3. Let h be o(1). Is -17 at least h?
True
Suppose r - 3320 = -4*y + 543, 0 = 2*y - 5*r - 1937. Which is bigger: y or 965?
y
Let u be (15/7 - 2)*(-8 + 10). Which is bigger: u or 583?
583
Let o be (1/(-1))/((-205)/105 + 2). Which is bigger: o or -156/7?
o
Let k = 3 - 2. Suppose -54*s + 60*s = 12. Let l be (-33)/3 - (s - 1). Is l greater than or equal to k?
False
Let r be 64/(-96)*(0/(-2) - 18). Suppose 155 = -7*j + r*j. Is 32 less than j?
False
Suppose 130*s - 153 = -23. Let b be 3/1*(-2)/6. Which is bigger: b or s?
s
Let d = 107 - 59. Is d at most as big as 289/6?
True
Let m(a) = 33*a**2 + 197*a + 11. Let u be m(-6). Is u at most -5?
False
Suppose 7*v - 10 = 2*v. Suppose -3*b - 10 = v. Let i be (-8)/b*2/(-6). Which is smaller: 2/13 or i?
i
Suppose 2*y - 7*y - 2*q = -55, 0 = 5*y + 3*q - 60. Let g(n) = 9*n**3 + n**2 - 1. Let x be g(1). Let s = x - y. Is 1/6 at least s?
True
Let u = -912.7 - -911. Which is smaller: u or -23?
-23
Let v = -88 - -84. Let h = 21 - 21. Which is smaller: v or h?
v
Let i be (12/(-180))/(1/6*8). Is i less than 0?
True
Let w be (-1*(-756)/10)/((-21)/(-70)). Is 252 not equal to w?
False
Let i be (-2)/(-182)*((-6)/3 - 0). Let k = 204/1001 + i. Which is greater: -1 or k?
k
Let w(s) = -18*s + 377. Let y be w(21). Suppose 3*j - 8 = -0*t - 2*t, -4*j + t - 4 = 0. Let c be (-4)/((-40)/(-3)) - j. Which is smaller: c or y?
y
Suppose -3*t - d = 41, -t + 3*t - d + 24 = 0. Let k be -1*3 - (5 + t). Suppose 0*q + 13 = 3*q + k*z, -8 = -4*q - 2*z. Which is bigger: -1/5 or q?
q
Let c = 68 - 68. Let i be (c - 1)*(-8 + 3 + 2). Which is smaller: i or 1?
1
Let z = -19 + 17. Let s = -90 - -90.1. Do s and z have different values?
True
Suppose 3*i = -i + 28. Let o be (-3 + i)/8*0. Let r = o + -1. Is r greater than -2?
True
Let o be (58/(-3))/(2/(-6)). Let p be -9 + (-440)/(-48) + (-706)/(-12). Which is smaller: o or p?
o
Let l = -107 + 90. Let k = -17.04 - l. Is k less than -2?
False
Let n = 18.6 + -21.2. Which is smaller: 5 or n?
n
Let l be 189/490 + (-9)/15. Which is bigger: -1 or l?
l
Let q be ((-3)/(-5))/(573/29414). Which is smaller: 32 or q?
q
Let t = 14/31 - 11/93. Which is smaller: -34 or t?
-34
Le