False
Let l = 6 - 2. Suppose -9*u + 70 = -4*u. Suppose r = 2*r + h - u, 0 = l*r + 3*h - 54. Do r and 12 have the same value?
True
Let l(x) = 3*x**2 + 7*x + 4. Let q be l(-4). Let r = 25 - q. Are r and 7 nonequal?
True
Let h = 12 - 22. Let a(d) = d**2 + 11*d + 10. Let v be a(h). Let j = 4 + v. Are j and 4 equal?
True
Let y(a) = a**2 + 18*a + 37. Let h be y(-13). Let n = h + 62. Is 35 at least n?
True
Suppose -k - 26 = -j + 2*j, -4*j - 60 = 2*k. Is k less than or equal to -22?
True
Let h(z) = z + 3. Let p be h(3). Let w = 324/55 - 16/55. Is w > p?
False
Let o = -33/8 + -3/8. Is -5 < o?
True
Let m be (-80)/32 + (651/262)/1. Which is smaller: m or 1?
m
Suppose -4*t + 16 = -q, 3*q + 4*t - 37 + 5 = 0. Let g be 3/24*q*-20. Suppose -10 = k + 2. Is g at most k?
False
Let t = 22.7555 + -0.0555. Let c = t + 4.3. Let m = c - 27.07. Is -0.1 less than m?
True
Let r = 9 - 5. Suppose 3*m = 2*m, -r*m = -5*n. Which is greater: 2/5 or n?
2/5
Let d = -212.8 + 216. Let i = -1.8 + 0. Let q = d - i. Is 2 > q?
False
Let t = -326959/35550 - -449/50. Let r = t + -2/395. Is 27 <= r?
False
Let b = 5 + -4.6. Let d = 0.301 - 15.401. Let u = d + 15. Which is bigger: u or b?
b
Suppose -27*j = -40*j + 507. Let t be ((-2)/5)/((-1)/190). Let z = j - t. Do z and -36 have different values?
True
Suppose -3*i = 2*d - 52, -2*i + 3*d + 19 = -7. Is i less than or equal to 31/2?
False
Let v be (-80)/(-198) - 28/154. Let s(k) = -k**3 + 10*k**2 + 6*k - 14. Let j be s(10). Let l = -140/3 + j. Which is smaller: v or l?
l
Let q be ((-5292)/(-336))/((-102)/(-160)). Which is bigger: 24 or q?
q
Let c be -24 - (-18 + -3)/(-7). Which is greater: -30 or c?
c
Let g = -11.21 + 10.41. Which is bigger: g or -5/16?
-5/16
Let r = 2 - 1. Which is smaller: -22 or r?
-22
Let a = 0.4 + -7.7. Let q = a - -4.3. Which is bigger: q or -6/11?
-6/11
Suppose -70*y - y + 36778 = 0. Which is smaller: 520 or y?
y
Let b(z) = -2*z**2 - 4*z - 3. Let h be b(-2). Let n be 0*h/(-9)*3. Does n = 2/13?
False
Suppose -14 = 3*t - 4*q, 100*q - 98*q - 10 = 0. Suppose 0 = 5*u + 2*z + 79, 0*u - 64 = 4*u + 2*z. Let j be (-10)/u - (-2)/6. Which is bigger: j or t?
t
Let w be (-1*5)/(1 - 0). Let f = -2 - w. Let d be -5*1 + 26*(-9)/(-36). Are d and f non-equal?
True
Let f be (-6)/(-9)*(-525)/14. Let y be (-10)/6*(-10)/f. Does -0.13 = y?
False
Let p = 21 + -21.03. Are -19 and p nonequal?
True
Let f = -18.22 + 0.22. Let o = f + 17.999. Is 0.1 at least as big as o?
True
Let q(f) = -28*f**2 - 11*f - 10. Let c be q(-1). Is c != -26?
True
Let j be (-8)/(2/6*-3). Which is bigger: 19 or j?
19
Suppose 0 = -5*a + r - 160, -2*a - 3*r - 64 = -6*r. Let w be 6/15 + a/5. Let i be ((-42)/(-24))/((-2)/8). Which is smaller: i or w?
i
Suppose -3*f + 402 = -2*k, 0 = -2*f + 4*k + 3 + 265. Do 135 and f have the same value?
False
Suppose -27*v = -25*v + 206. Are v and -112 nonequal?
True
Suppose 5*t - 5*d - 25 = 0, 0 = 4*t - 2*t + 2*d + 10. Let x = -18 + 25. Let s = x - 7.1. Is t equal to s?
False
Let v = 44 - 49. Let i be (14*(-3)/(-108))/(v/10). Let s = -5 - -5. Is s equal to i?
False
Suppose 0 = k + 5*c - 15, -k + 6*c = 7*c - 3. Is 1/178 at most k?
False
Let v be ((-10)/(-8))/((-1)/(-4)). Suppose h + 2*x = x + 1, -26 = -h + 4*x. Suppose -v*z = h + 9. Which is bigger: z or -1?
-1
Let v(u) = u**2 + 25*u - 42. Let f be v(2). Which is bigger: 3/28 or f?
f
Let u = -10 - -10. Let q be (-7)/(21/18) + (-2304)/(-360). Is q < u?
False
Let k be (4/48)/(2/6). Let j = 2/88653 - 80515/620571. Let n = 1/29 + j. Is k at most as big as n?
False
Suppose 3*c = z - 118, 9*z = 4*z + 20. Is -37 > c?
True
Let d = 37.955 - 38. Let w = -2.955 + d. Which is smaller: 0.1 or w?
w
Suppose 3*f = 2*f + 1. Let g be (-39)/36 + f/(-4). Let s be -5*(0 - 8/(-20)). Is s > g?
False
Let m = 2.1 + -2.1. Let a be (37/78)/(3/(-2)). Let f = -2/117 + a. Which is bigger: f or m?
m
Let h = -1211 - -1323. Is h smaller than 111?
False
Let o be ((-1 - 1) + 1)*1. Let a = 17 - 21. Let b = -6 - a. Which is bigger: o or b?
o
Let b be -4*1/(-2)*3. Let z(h) = h**3 + 13*h**2 - h - 12. Let c be z(-13). Let d be 3/((-4)/8 + c). Is d greater than or equal to b?
True
Let u = 412 - 414. Let f = 0.5 - 0.1. Which is smaller: f or u?
u
Suppose -17*f + 9*f = 0. Let g = -89 - -622/7. Which is smaller: g or f?
g
Suppose 18 = 5*b + 23. Let a be 3 - (b - 2540/(-636)). Is 0 < a?
True
Let d = -0.062 + -79.938. Let a = -81 - d. Is -2/15 greater than a?
True
Let m = -733.7 + 769. Let l = 35 - m. Is -1 smaller than l?
True
Let i be (-12)/(-3)*(-3)/(-9)*3. Suppose 5 = -n - 2*k, 3*k - i = 2*n + 5*k. Which is bigger: n or 2?
2
Let m be (-2)/12*8/(-9). Suppose 101*g = 44*g + 50*g. Do g and m have the same value?
False
Let d be (-68)/153 - 462/54. Which is smaller: d or -7?
d
Let j = 97.541 - 111.55. Let f = j + 0.009. Are f and -3 equal?
False
Let t(b) = 43*b - 4. Let o be t(-2). Let w be 6274/60*(-20)/o. Let a = w + -116/5. Is a equal to 1?
False
Suppose 0 = -i + 4 - 2. Let a be (560/285 - i)/(2/1). Is a at most 1?
True
Suppose -5*f + 3*a + 30 = 0, -4*a - 34 = -3*f + a. Suppose -2*l = z + 1, 43 = -f*z - 0*z + 4*l. Which is smaller: -5 or z?
z
Let l(s) = -3*s**2 - 9*s**2 - 3*s + 13*s**2 - 7. Let r = -11 - -16. Let o be l(r). Is 3 <= o?
True
Let f(h) = -35*h**3 - 2*h + 1. Let m be f(1). Let z be (-1)/1*(m + 36). Let b = -641/126 + 36/7. Which is bigger: b or z?
b
Let v be 1/(10*9/1530). Are v and 5/2 non-equal?
True
Suppose -2*x = -0*x - 2. Let k be x/(-3)*18/12. Is k <= 0?
True
Let q be (-934)/(-12) - (171 - 176). Let i be -1*1 + 84 + 0. Let l = i - q. Is 0.2 greater than l?
True
Suppose 0 = s + 2*s - 36. Let u(p) = -4*p + 17. Let h be u(1). Which is smaller: h or s?
s
Let u be ((-16)/20)/(-2)*390/8. Let o = u + -20. Which is smaller: -0.08 or o?
o
Let u(x) = -2*x + 5. Let j = 4 - 1. Suppose j*z + 6 = 5*z. Let o be u(z). Which is bigger: -2/7 or o?
-2/7
Suppose 149*t + 60 = 143*t. Are t and 0.7 unequal?
True
Let d = 91 + -1367/15. Let u(i) = i**2 + 10*i + 1. Let t be u(-10). Which is greater: t or d?
t
Let w = -38 + 53. Let t = -12 + w. Suppose 0*p - 3*p + 6 = 0. Which is greater: t or p?
t
Let j = -5630 + 61979/11. Do j and 4 have the same value?
False
Suppose 33*y - 5 = 34*y. Let j be -1 - y - 2*(-306)/(-156). Which is smaller: -5 or j?
-5
Let x be (21/6 + -3)*(43 - 55). Suppose 4*s + 2*g + 32 = -g, 5*s - 4*g + 9 = 0. Is x > s?
False
Let x = 44/3 - 305/21. Let t be ((-1)/(-5))/(2/(-5)). Which is smaller: x or t?
t
Let g = -51154/33 + 11632/11. Let n = -481 - g. Which is smaller: 11 or n?
11
Let x = -9 - 12. Let c = -4897 + 4899. Which is greater: x or c?
c
Let g = -180 + 1255/7. Is g less than or equal to 1?
True
Let a = 11/8 + -69/56. Let j = -871739/35896 - 3/5128. Let h = j + 24. Which is smaller: h or a?
h
Let v = -121.9 + 122. Which is bigger: v or 151?
151
Suppose 4*a = 3*v + 72, -a - 2*a = 0. Let g be v/(-108) - (-19)/(-45). Which is bigger: g or -1?
g
Suppose 7*i = 105 + 35. Suppose i - 4 = -2*x. Let a(r) = r**2 + 11*r + 5. Let w be a(-10). Which is smaller: w or x?
x
Suppose 13*h + 422 = -13*h + 3*u, -4*u + 8 = 0. Are h and -5 unequal?
True
Let c be (44/(-198))/(1/(-9)). Let l = -4 + 0. Let m = c - l. Is 6 greater than or equal to m?
True
Let u be (-8 - -23)/(0 + 3). Suppose l + u*a = 2*l - 6, 5*l + 3*a - 2 = 0. Which is bigger: l or -4/87?
l
Let o = 88 + -87.61. Let q = o - -0.61. Is q equal to -58?
False
Let h = -54 + 111/2. Is h greater than or equal to -0.2?
True
Let w = 3/233 - -1377/1631. Let c be (1 - (-14)/(-8))*24/(-18). Which is bigger: w or c?
c
Let w(y) = -y**3 + 16*y**2 + 13*y - 44. Let b be w(16). Is b < 164?
False
Let n = 49 + -47. Does 0.63 = n?
False
Suppose w + 2*w - 12 = -a, 12 = 4*w. Suppose 2*m - 5*d + 21 = 0, 2*d - 12 = m - 4. Does a = m?
False
Let q(s) = -s**3 - 26*s**2 - 23*s + 50. Let h be q(-25). Which is smaller: h or 5/99?
h
Let f = -27877/69 - -404. Which is smaller: f or 1?
f
Let w(b) = 2*b**2 + 22*b + 2. Suppose o + 23 = -o + g, 2*o - 2*g + 24 = 0. Let v be w(o). Let y be (-4)/(-6) + 4/3. Is y greater than or equal to v?
True
Let n = -1.586 + -0.054. Let b = -0.14 - n. Let c = b + -1.4. Is c at least as big as -3?
True
Let r = -12 - -11. Let c = r + 0.5. Let s = c + 0. Is -0.2 less than s?
False
Let w be 15/10 - (-6)/(-4). Let v = -2 + 1. Let y = v + 0. Which is greater: y or w?
w
Let 