 x?
x
Let k be (-290)/(-15)*(-3 - 0). Let a be (-2)/(4/(-3)) + (-1131)/k. Which is greater: 3 or a?
a
Suppose -4*z - v = -3*v + 20, 0 = -4*v + 16. Which is greater: -3.2 or z?
z
Let k = 488 - 69779/143. Do -1 and k have different values?
True
Let j = -57 + 53. Let r be ((-4 - j)/4)/(-1). Are 2/205 and r nonequal?
True
Let s = 423 - -58. Which is smaller: s or 482?
s
Let s = -2.282 - 0.218. Is s bigger than 0.2?
False
Let x be 1 + 3/3 - 6. Let v be (15/10)/(6/x). Do -5/18 and v have different values?
True
Let s = 0 + -1. Suppose -18*v + 44*v + 13572 = 0. Let a be ((-2)/33)/((-29)/v). Which is bigger: a or s?
s
Let k = 3.3 + -0.7. Let v = k + -0.6. Let r = v + -2. Is -3 at least r?
False
Let j = -140 + 98. Which is smaller: -124/3 or j?
j
Let s = 18 - 29. Let h(z) = 6*z**2 + 3. Let b be h(-2). Suppose 3*r + i + 35 = 0, b = -2*r - 2*i + 5*i. Do r and s have different values?
True
Let p = -3292/9 - -366. Which is greater: -65 or p?
p
Let j(c) = 4*c - 1 + 1 - 2. Let v = -4 + 6. Let n be j(v). Are n and 5 non-equal?
True
Let t be 10/30*1*-6. Let l(p) = p**3 + 2*p**2 - 2. Let w be l(t). Let s be 12*(w + (-6)/(-4)). Is s not equal to 2/11?
True
Let j = -267 + 244. Which is smaller: j or 2?
j
Let z = 239 + -238.04. Which is greater: 0.1 or z?
z
Let q = 602 + -200. Which is bigger: q or -2/5?
q
Let a be 3 - (3 - -6*(-3)/6). Suppose 5*l + 2 = -a. Which is smaller: -4/17 or l?
l
Let y(i) = -i**3 - 5*i**2 + 5*i - 6. Let w be y(3). Let v be -1 - (18/w + 22/(-28)). Is v greater than or equal to 0.1?
False
Suppose 2 + 13 = 5*v + 3*w, -w + 12 = 4*v. Let o(g) = 6*g - 47. Let m be o(23). Let x = m - 87. Are v and x non-equal?
True
Suppose -u = -10 + 4. Suppose -3*n - 9 = 0, u*n + 8 = -2*c + 2*n. Suppose c*z + 3*z = 25. Which is bigger: z or 6?
6
Let m(k) = -16*k - 6. Let r(b) = 11*b + 4. Let j(w) = -5*m(w) - 7*r(w). Let z be j(7). Which is smaller: 1 or z?
1
Let t(r) = -4*r**2 + 5*r + 6. Let w be t(-2). Do -23 and w have different values?
True
Let g be 10/(-14)*(-14)/(-4). Is g <= 0.01?
True
Suppose -5*d + 8 = -3*d. Let u = -17 + 16. Is u equal to d?
False
Let x = 0 + -1. Let j = -4 - -7/2. Is j equal to x?
False
Let d be -5 + 133/3 + (-1)/3. Let r = 39 - d. Is r > 0?
False
Let k(u) = 3*u**3 + 59*u**2 + 21*u + 3. Let d be k(-19). Which is smaller: d or 324?
324
Let o be ((-4)/(-2))/(4/8). Let h be -1 + o/3 - 2. Let t = 3 + -3. Are h and t unequal?
True
Let m = -0.1 + 0. Suppose -115*y + 133 = 4*g - 118*y, -3*y - 22 = -g. Which is bigger: g or m?
g
Suppose 0 = 22*k - 17*k - 4*l + 29, -k - 6 = -l. Which is greater: 5/14 or k?
5/14
Let c be (-70)/588 - (-1)/(-6). Which is smaller: c or -107?
-107
Suppose 2 = -2*s + 6. Suppose 6*d = -a + 4*d + 3, -3*a + 5*d = 24. Let b be s/4*(a + 3). Is b greater than or equal to 1?
False
Let y = -12.2 + -4.8. Let k = 14.2 + y. Is k >= -0.1?
False
Let r = 5 + 0. Suppose -6*m - 66 = -2*m - 5*f, r*f = 5*m + 80. Let h be 48/8*(-2)/m. Is h >= 1?
False
Suppose 2*s - 75 + 5 = -5*y, 0 = y + s - 11. Suppose 3*t + 3*m + 8 = -10, -2*t - 3*m - y = 0. Let g be 1/t + 5/10. Which is smaller: -1 or g?
-1
Let g = -361 - -364. Which is smaller: g or 9/4?
9/4
Let b = 307 - 325. Let a = 0.02 - -1.98. Is b at least as big as a?
False
Suppose 4*q = -3 - 9, 5*c = 4*q + 712. Let d be c/21*(-3)/(-2). Let l(x) = -x + 18. Let a be l(8). Is d greater than or equal to a?
True
Let u = 2.9 - 15.9. Let v = u + 11.6. Is 0.2 smaller than v?
False
Let d be (36/8 - 1)*-4. Let h = -13 - d. Which is smaller: -3/8 or h?
-3/8
Let k = 460.35 + -471. Let w = -0.35 + k. Which is smaller: w or 0?
w
Suppose -3*m + 8 = 23. Let x be (-7)/(4/(-4)*-1). Let c = x - -2. Are m and c unequal?
False
Suppose 0 = 4*p + 2*n + 6, -11*n = -4*p - 6*n + 1. Let j be (40/15)/(p/((-3)/2)). Which is bigger: 5 or j?
5
Let z = -2.651 + 2.63. Which is bigger: 3 or z?
3
Let a be 199*-1 + (-2 - -3). Let y = -1388/7 - a. Is y at most -0.2?
True
Suppose -m - 32 = -3*m + 4*j, -2*j = -3*m + 28. Suppose m*w = 2*w - 12. Let s = 7 + w. Is s < -2/9?
False
Let d = -2 + 1. Let t(l) = l**2 + 5*l + 5. Let u be t(-6). Let c = -8 + u. Which is greater: c or d?
c
Suppose -d + 3 - 4 = 2*q, -2*q + 4*d - 6 = 0. Which is bigger: q or -0.244?
-0.244
Suppose -64 = 4*f + n, -5*f = -4*f + n + 19. Which is greater: -10 or f?
-10
Let a be ((120/(-370))/(-3))/(-2). Is -2/7 > a?
False
Suppose 2*f = -c - 9, -2*f - 3*c = 3*f + 25. Let m be 1/f*(56 + -4). Is m less than -26?
False
Let g(p) = p**2 - 10*p - 10. Let x be g(11). Suppose -2 = z - x. Let h be (-81)/(-3942)*8/(-6). Is h less than z?
False
Let v be (0 - 0 - -1) + -1. Suppose v*x = 2*x + 16. Let p be 2*-1 - (-2)/((-8)/20). Are p and x non-equal?
True
Let i(v) = v**2 + 2*v + 1. Suppose -25 = -3*f + 2*m - 80, -2*f - 5*m - 24 = 0. Let c = f + 15. Let r be i(c). Is r less than or equal to 0?
False
Let l(r) = -2*r**2 + 11*r + 22. Let d be l(7). Which is greater: d or 16/97?
d
Let b(v) = -v**3 + 7*v**2 + 10*v - 8. Suppose 8 = 5*f - 4*f. Let r be b(f). Suppose -4*h = -2*t - 34, -3*h - 10 = -r*h - 4*t. Is h less than or equal to 5?
False
Let u = -0.0284 + 0.0194. Let k be 0 + (15/12)/(-5). Is u smaller than k?
False
Suppose -4*x - 18 = -22. Suppose -2*n - 16 = -3*m + x, -2*n + 1 = -m. Suppose -3*d = -m*d - 18. Is d at most as big as -3?
True
Let o be (-990)/275 + ((-3)/15 - -1). Is o < -1/36?
True
Let p be 128/(-6) - 16/24. Let l be (-4)/p + 9944/(-121). Let i = l + 493/6. Is 0 < i?
True
Let x = -604.8 + 605. Is 82/5 less than or equal to x?
False
Let j = 0.17 + 0.23. Which is smaller: j or -0.29?
-0.29
Let h(n) = n**2 + 9*n + 16. Let v be h(-6). Let f be -19*v/(-12) + 24/144. Let j be 2 - (2 + 4 - 2). Which is smaller: j or f?
f
Suppose 0 = -3*q + 18 - 0. Suppose q*v + v + 7 = 0. Which is bigger: -11/5 or v?
v
Let j = 7 - 2. Suppose 4*a + 0*a + 5*d + 11 = 0, d = a + j. Let o be -1 - (3 + 1*a). Is o greater than or equal to 2/15?
False
Suppose -4*i = -4*j - 8280, 10*j - 10330 = -5*i + 11*j. Which is bigger: i or 2064?
i
Let t be 8 - (6 - (18 + -20)). Let a = 157/1940 - 3/97. Is t <= a?
True
Suppose u = 3*i - 12, 5*u + 20*i - 24*i + 27 = 0. Is u greater than or equal to 3/8?
False
Let i = 0.1 - 16.1. Let w = i - -16. Let k = 1 - w. Does k = -5?
False
Let t = 1553/2 - 969. Is t at least -192?
False
Let k be 8/(-312)*3/(-7). Let b = -635/182 - k. Which is smaller: b or 0.1?
b
Let z be (-4 - (-3 - 0)) + 3. Suppose 2*w = 2*l - 8, -11 = -2*l + 4*w + w. Suppose 0 = p + 4*x + z, p + l*x + 3 = 4. Which is smaller: p or 9?
9
Suppose 4*h - 3*h = -51. Let x = 28 + h. Suppose -15*b - 26 - 304 = 0. Which is smaller: x or b?
x
Let i be (-3)/99*2*-1. Let d = -1.72 - -2.72. Which is bigger: i or d?
d
Suppose -37*n + 27*n + 20 = 0. Let b = -11 - -22. Is b not equal to n?
True
Let j = -0.092 - 1.088. Let q = 0.18 + j. Is q bigger than -0.14?
False
Let w(r) = 10*r**2 - 22*r + 3. Let q be w(2). Which is smaller: -1/113 or q?
q
Suppose 2*n - 5*a + 4953 = 0, -n - 763 = 3*a + 1697. Let o = -44431/18 - n. Let j = o + -10/9. Which is smaller: -1 or j?
-1
Let t = 10.74 + -22.74. Which is smaller: t or -1/10?
t
Let n be 7*6/(-30) + (-1 - -3). Which is smaller: n or 91?
n
Let y be 12/(-5)*35/(-14). Let g be 5 - -1 - y/3. Suppose 2*f + 4 = -2*f. Is g > f?
True
Let i be 6/(-30) + 121/5. Let h = i - -16. Suppose 2*d - 4*d - 12 = -4*j, 0 = -5*d - 4*j + h. Is 4 < d?
False
Suppose 1110 + 450 = -5*i. Let l be 1 + -3 + (-640)/i. Which is smaller: 1 or l?
l
Let i = -72 + 49. Is -24 less than i?
True
Let n(x) = -3*x - 27. Let h be n(-8). Let z be (-24)/(-183)*h/(-36). Which is smaller: 0 or z?
0
Let u = -0.82 + 0.558. Is u <= -1/3?
False
Let k = -210 - -209.8. Is 4/3 not equal to k?
True
Let x be ((-2)/(-147))/(((-77)/(-252))/11). Which is smaller: x or -0.2?
-0.2
Let y be (-7)/21 + (-14)/(-6). Suppose -y*s - 3*s = 0. Let r be 3 - ((3 - s) + -2). Is r > 4?
False
Suppose -2*g = 2*o - 100, -2*o - 4*g = 3*o - 255. Let b = -56 + o. Which is greater: b or -3/11?
-3/11
Let f(n) = -n**2 - 16*n + 23. Let g be f(-17). Let h be ((-86)/27 - -3)/((-1)/g). Suppose 2*a - 3*k = 4 - 0, -5*a + 2*k = -10. Is h greater than or equal to a?
False
Let g(o) = 2*o**3 + 9*o**2 - 9*o + 6. Let h(y) = -2*y**3 - 8*y**2 + 9*y - 7. Let m(s) = 3*g(s) + 4*h(s). Let j be m(-5). Is j greater than or equal to 70?
True
Let o(j) = 2*j**2 - 62*j + 21