
False
Suppose k = -f + 2*k + 17, 0 = 5*f + 2*k - 50. Suppose -3*c + f = -9*c. Are c and -3/2 unequal?
True
Let w(x) = -2*x - 2. Let o(a) = -2*a - 1. Let g(n) = 3*o(n) - 2*w(n). Let k be g(-5). Which is bigger: k or 12?
12
Let u(j) = -21*j - 3. Let w be u(-1). Suppose 15 = -3*b + w. Which is bigger: 0.07 or b?
b
Suppose -3*k + 10 = -23. Suppose -6*a = -k*a. Suppose z = -a*z. Which is smaller: 1 or z?
z
Suppose 0 = 4*z - s - 32 - 76, 0 = s. Is 18 greater than or equal to z?
False
Let s be (3/468)/(6/18). Let g = s + 3/13. Is 1 at least g?
True
Let h(g) = 11*g**2 - 17*g - 2. Let y(x) = -5*x**2 + 8*x + 1. Let n(z) = 6*h(z) + 13*y(z). Let o be n(-5). Let l = o - 14. Is l bigger than 4?
False
Suppose 4*r = -5*w - 11 + 28, 3*w - 4*r + 9 = 0. Let y be 3 - (-13)/(0 + 1). Let t = 16 - y. Is t at least w?
False
Suppose -m - 112 = 4*d - 6*m, 4*m + 7 = -d. Which is greater: d or -19?
-19
Let n = -1/261 - -281/5220. Let k be 4/14 + (-4)/14. Suppose k = -2*j - 2. Are j and n equal?
False
Let s = -44/35 - -2/35. Let p(c) = -c**3 + 16*c**2 - 14*c - 11. Let z be p(15). Let h be 0*(-1)/(z/4). Which is smaller: s or h?
s
Let d(u) = 4*u**2 - 19*u + 8. Let z be d(6). Let l = z - 22. Which is smaller: 18 or l?
l
Let i be 4 + 111/(-96)*2. Let d = -643/400 + i. Let o = -344/75 - d. Which is smaller: o or -6?
-6
Let i = 47.3 - 43.3. Are i and 64 unequal?
True
Let r be 2*20/(-24)*-3. Suppose 5*k = -25, 12 = r*x + 3*k + 27. Suppose x = -c + 5 - 3. Which is smaller: c or 9/5?
9/5
Let v = 805 + -1069. Which is smaller: -261 or v?
v
Let w = -403 + 444. Do w and 41 have the same value?
True
Suppose 6*u = -90 + 246. Which is bigger: 0.1 or u?
u
Suppose -23 = 2*m + 7*m - 10*m. Let k(w) = 22*w + 1. Let t be k(1). Is m smaller than t?
False
Suppose 8*b - 17*b = -1404. Suppose -x = 2*x - b. Is x >= 52?
True
Let r = 142 - 714/5. Suppose 9 = 2*j - 3. Suppose -3*y = 3*a + j, 2 = y - 3*y. Is r at least as big as a?
True
Let i be (5 - (21 - -5))/((-2)/(-2)). Let t(d) = 2*d + 49. Let o be t(i). Are o and 2 non-equal?
True
Let b = 0.106 + 111.894. Let l = b + -111.47. Let i = 0.23 - l. Is i != -4?
True
Suppose x + 55 + 114 = -4*h, -5*h + 745 = -5*x. Is -153 greater than or equal to x?
True
Let j be 272/612 + 1142/(-18). Which is smaller: j or -6?
j
Let s = -5741045/2233 - -2571. Which is bigger: s or 0?
0
Let j = 52912/11 + -4807. Is j at least 4?
False
Let t be -2*(-4)/3*135/(-24). Let r = 21 - 44. Let y = r - t. Which is bigger: -6 or y?
-6
Let x = 6 - 6.1. Let b = -0.6 - -1. Which is smaller: x or b?
x
Let w(g) = g**3 - 41*g**2 + 43*g - 48. Let v be w(40). Is v <= 72?
True
Suppose b = -0 - 1. Let y be (-2 - -4)*(-27)/144. Are y and b nonequal?
True
Let r = 5 + -14. Let k = -60 - -49. Let l = r - k. Is l equal to 3?
False
Let n = 20 + -20.026. Let f = -0.074 + n. Is -17 bigger than f?
False
Suppose -9*a + 32 = -7*a. Suppose 5*y + a = -4*o, -9 = -3*o + 3*y + 6. Which is smaller: -3/11 or o?
-3/11
Let u = -475 + 3809/8. Which is smaller: u or 2?
u
Let s(t) = -99*t**2 + 27*t + 26. Let l be s(-1). Let h be -103 - (-1 + -3 + 0). Which is smaller: l or h?
l
Let o = -46 + 48. Suppose 0*x - 3*x = o*x. Let j = 0 + 2/5. Is j at most as big as x?
False
Let d(q) = 6*q**2 - q + 1. Let s be d(-1). Suppose 2*r + s = -2*r. Let o be r*3*2/30. Is -1 != o?
True
Let x(g) = 15*g + 63. Let y be x(-4). Are y and -0.9 nonequal?
True
Let s(g) = g**2 - 28*g + 159. Let o be s(8). Let r = -77/93 - -5/31. Is r greater than o?
True
Suppose 0 = -3*w + 3*h - 279, w + 36 = 5*h - 41. Let u = 4751/49 + w. Is 0 at least u?
True
Suppose -60*t + 16*t = 792. Is -172/9 less than t?
True
Let t = 0.089 - -35.911. Let y = 45 - t. Which is smaller: 4 or y?
4
Let q = 4064 + -4059. Let i be 19*(2/(-3))/(-2). Is i > q?
True
Let c(r) = -r - 15. Suppose -20 = 7*b + 71. Let a be c(b). Is a equal to -0.2?
False
Let u be (2/33)/(6/(-54) + 0). Let b = 17 + -17. Are u and b equal?
False
Suppose -3*k - 4 = 2*m - 7*k, -m + 3*k - 3 = 0. Let w = 12.62 + -12.02. Which is smaller: m or w?
m
Let o be 19 - 17 - (-383 - -1). Let s be (-2)/(-4*(-9)/o)*-3. Which is smaller: 65 or s?
s
Let i be (-15 - (-2082)/144) + 1/(-8). Which is bigger: 0.154 or i?
0.154
Let z(c) = 5*c**3 + c**2 - c. Let l be z(1). Let a be l - 0*(-1)/(-1). Suppose 6*o = 2*o - 2*f - 30, -4*o + a*f + 5 = 0. Does o = -4?
False
Suppose 29 = 2*i - 27. Suppose 31*o - 151 = 748. Is i less than o?
True
Suppose 5*x = 4*d + 7, -d + 5*x + 1 - 14 = 0. Let v be (-16)/10*(-10)/d. Suppose -7 = -c + w, 2*c + 10*w - 7*w = 19. Does v = c?
True
Suppose -13 = 2*z - 3*z. Let q = 18 - z. Suppose 4 = -q*t - 1. Which is smaller: -9/5 or t?
-9/5
Suppose 1419 = 5*o - 4*b - 187, 4*o - 1288 = 4*b. Let z be 4/22 + o/66. Let r be 35/(-56)*18/(-3). Is z less than r?
False
Suppose -45*t - 12 = -47*t. Let r be -1*(1/(-1) + t). Is r at least as big as -4?
False
Suppose 0 = 3*j + c - 9, -4*j - 2*c + 12 = -j. Suppose -y - 35 = 2*l, -2*y = -l - 4*l - 74. Let x be (4/(-16))/(5/l). Which is smaller: j or x?
x
Let u(a) = -3 + 9*a + 1 + 1 - 1. Let h be u(1). Suppose -2*s + 22 = 6. Is s < h?
False
Let t(j) = -j**3 + j - 1. Suppose g + 5 = 3. Let v be t(g). Let o = -577/2 - -292. Do v and o have different values?
True
Suppose -5*h + 3*v + 682 = 0, 5*v = -0*h - 4*h + 516. Let t = 129 - h. Do t and -13/3 have the same value?
False
Let b be 56 - (24/(-48))/(1/6). Is b at least -1/2?
True
Suppose c = -2*c + 3. Let b be (-1)/(c/(1 - 0)). Which is bigger: 2/35 or b?
2/35
Suppose 0 = -19*k + 17 - 568. Are -26 and k equal?
False
Let t = 291/182 - -3/26. Let n be (-6 + 1)*(-7 + 6). Let j = n + -2. Which is smaller: t or j?
t
Let h be (-75)/(-50) + (-3754)/2500. Is 0 at most as big as h?
False
Let n = 41 - 42. Let s = -0.813 - -0.87. Which is smaller: n or s?
n
Let q(u) = 2*u**2 - 1. Let h be q(1). Let l be (-3)/h + (-37)/(-2). Which is bigger: 17 or l?
17
Let p(x) = -x**2 + 7*x + 60. Let z be p(12). Which is smaller: 2/1129 or z?
z
Let d(m) = -m - 4. Let k be d(-4). Let j be k - (-3 - 3/(-1)). Is -1 > j?
False
Let s be (60/(-18))/(3/9). Let b(q) = q**3 + 10*q**2 + 2*q. Let o be b(s). Is o less than -20?
False
Let d = 250511/205 - 1222. Is 0 bigger than d?
False
Let c be 1/((-2 - -1)/2). Is -107 <= c?
True
Suppose -3*m - 9 = -48. Suppose 7*j + 154 = 42. Let y = j + m. Which is smaller: y or 2?
y
Suppose 4*d + 5*o + 40 = 11, 0 = -3*o - 15. Let q = 694/61 + -8/183. Let j = -572/51 + q. Which is smaller: j or d?
d
Let q = 72 - 22. Let b = q + -50. Let p = 2 + -2. Do b and p have the same value?
True
Let q be 2/(-3)*(-9)/6. Let r be (-3)/15 - 49/(-195). Is q >= r?
True
Suppose -3*a = 5*j - 115, -11*j - 2*a - 140 = -16*j. Is j < -1?
False
Suppose 5*v = -y + 30, 2*y + v = -3*y + 102. Let a = y - 4. Suppose 5*o + 5*j + a - 71 = 0, -3*j = -3. Is 10 >= o?
True
Let x(u) = -u**2 - 16*u + 40. Let k be x(-18). Let s be (24/576)/(k/(-18) + 0). Which is smaller: 1 or s?
s
Let t = -63 + 103. Suppose 0 = 6*c - c - 5*d + t, 0 = -2*c - d - 7. Which is bigger: 0 or c?
0
Suppose -4*l = -4*v + 8, 4*v + l = -3*l - 16. Let k = 16705/29 - 576. Which is smaller: v or k?
v
Let f = -1/339 - 6437/1356. Let w(y) = y**2 + 7*y + 7. Let h be w(-4). Do h and f have different values?
True
Suppose -5*n + 3*m = 4, 2*n + 2 - 8 = 5*m. Which is bigger: 18 or n?
18
Let n = -18 + 28. Suppose -p + 6 = -4*p + 3*v, -2*p + 5*v = n. Which is smaller: p or 1/5?
p
Let c(j) = -j**3 + 8*j**2 + j + 6. Let f be c(8). Suppose f = -2*w - 0. Is -9 equal to w?
False
Suppose 0 = 5*v - 26 + 6. Suppose v*g - 3*p = 60 + 10, -5*g + 97 = p. Is g <= 17?
False
Let n = 550 - 550.2. Which is smaller: 19 or n?
n
Let x = 2865 - 2861. Is 59/17 < x?
True
Let x = 39.16 + -0.16. Let v = x + -36. Is 0.01 < v?
True
Let b be ((-2)/(-1864))/((-6)/24). Let u be (-9)/(180/8) + 6/(-10). Is u at most b?
True
Suppose 0*g - 4*g + 1056 = 0. Let y be g/180 - (-1)/3. Let r = 37/15 - y. Which is bigger: -0.1 or r?
r
Let d be 10/10*1*-25. Let k = -26 - d. Which is bigger: 1 or k?
1
Let v(i) = i. Let d(k) = k**2 + k - 6. Let p(c) = -d(c) - 6*v(c). Let z be p(-6). Suppose 4*l + 2*l - z = 0. Is -2 smaller than l?
True
Suppose 2892 = -424*q + 436*q. Is q not equal to 241?
False
Let h be ((-7956)/39)/((-6)/(-4)). Which is smaller: -137 or h?
-137
Let f = 487/360 + -11/8. Suppose -4*q + 14 = -2*h, 0 = -0*q + q - 4*h