 is bigger: i or 0?
0
Let u(k) = 4*k. Let q be u(-2). Let l = q + 12. Suppose d + 33 - 8 = 4*n, -l*d - 3*n = 5. Do -5 and d have the same value?
True
Let x = -0.8 + 1. Let n = 4 - 18. Let z = -16 - n. Which is smaller: x or z?
z
Suppose 0 = -9*w + 16 + 164. Which is smaller: 21 or w?
w
Let v = -70 - -50. Let z be 4/(8/v*-5). Which is smaller: 3/4 or z?
3/4
Let f be (0 - (-4)/(-2))/((-263)/(-1)). Which is smaller: 1 or f?
f
Let m be -5*((-3)/5 - -1). Let p be (2/(-7))/((-2)/14). Let u be (2/(-6))/(p/12). Is m != u?
False
Let j be (-11)/3 - (-2)/3. Let k be j/3 - 1/(-1). Let c be (2/(-6))/(2/6). Which is greater: k or c?
k
Let y = 28 + -55/2. Let k = -2 - -1. Which is greater: k or y?
y
Suppose 5*a + 4*z + 18 = 48, 5*a - 2*z = 60. Is a greater than or equal to 10?
True
Let d(n) = -12*n**2 + n - 1. Let t be d(1). Let i be t/(-78) + (-24)/(-13). Is i smaller than 3?
True
Let c = -0.3 + 0.4. Let l = c - 0. Do l and -2/21 have the same value?
False
Let g(c) = 7*c - 1. Let a be g(-1). Let p = 7 + a. Is p < -1?
False
Suppose -u = 2 - 7. Suppose u*i - i = 12. Suppose -5*y + 8 = i. Which is smaller: -2/7 or y?
-2/7
Let m be (3/(-4))/(21/(-2)). Let f(w) = w. Suppose 5*s + 5*x = 0, -3*s + s - 4*x + 2 = 0. Let q be f(s). Which is smaller: m or q?
q
Let d(t) = -t**2 + 1. Let k be d(-1). Suppose k = 2*l - 0*l + 5*n + 8, n + 16 = -4*l. Is -4 greater than l?
False
Let d = 3 + 2. Are d and 4 unequal?
True
Let d(w) = w**2 + 6*w - 6. Let t be d(-7). Suppose -n - 4 - t = 0. Let h be (-6)/(2 + n) - 2. Which is smaller: h or 0.1?
h
Let x = -3 - 0. Which is bigger: x or -1?
-1
Let i = 81 - 62. Does 19 = i?
True
Let a be 89/(-249) + (-5)/(-15). Is a at most as big as 0?
True
Let k be 0/((-1)/2*-2). Let m = k - -1. Let b be 44/(-12) - 0 - -4. Is m at most as big as b?
False
Let d = 27 + -16. Let p = -11 + d. Which is bigger: p or -1?
p
Let s(z) = 2*z**2 + 23*z - 22. Let x be s(-12). Is x greater than or equal to -10?
True
Let f be ((-3)/102)/(2/16). Is 1 equal to f?
False
Let m be (-13)/(-3) + (-16)/(-24). Suppose -k = -m*y - 4, k - 5 + 1 = -3*y. Let x(j) = -j**3 + 3*j**2 + 3*j. Let q be x(4). Is y smaller than q?
False
Suppose 4*k - 2*k - 42 = 0. Suppose -19 = -3*q + 4*m, 0 = -0*q + q - 5*m - k. Are 0 and q unequal?
True
Let a(f) = f**2 - 1. Let g be a(2). Suppose 8 = -4*p + 4*c, g*p - 5 = 5*p - c. Let q be (p/2)/((-3)/6). Are q and 4 equal?
False
Suppose 2*y + 3*g = -9, -3*y - 3*g - 3 - 3 = 0. Suppose -5*n = -2 - y. Do -1/2 and n have different values?
True
Let c(b) = -2*b**2 + 7*b - 4. Let f be c(8). Is f at least as big as -76?
True
Let p be (-4)/8*(-257)/2. Suppose -29 = -4*s + 227. Let j = s - p. Which is bigger: j or 0?
0
Let a = -231/5 - -46. Let o be 30/8 - (-2)/8. Suppose 5*c = o*c. Is c equal to a?
False
Suppose -3*a + 44 = -a. Let x = a - 8. Are x and 14 equal?
True
Let m(c) = c**2 + 2*c - 3. Let a be m(-3). Suppose 4*b + a = -4. Let u(k) = k**3 - 14*k**2 + 12*k + 12. Let g be u(13). Is g at most b?
True
Let c be ((-90)/(-12))/(6/8). Let t be c/4 + (-2)/4. Suppose 16 = 2*p - 0*g - 2*g, p - 5*g - 28 = 0. Is t bigger than p?
False
Suppose 0 = -4*q + 3*k - 45, 46 - 12 = -3*q + 2*k. Which is bigger: -1 or q?
-1
Let w = 83/38 - 13/6. Which is bigger: w or -1?
w
Let o be ((-1)/3)/1*-12. Suppose 2*w + 17 = p - 2*w, 4*w + 5 = 5*p. Let u = o + p. Which is bigger: u or 0?
u
Let m(f) = -f - 1 + 3*f**2 + f**3 - 2*f + f. Let b be m(-3). Let z = 5 - b. Which is smaller: z or 2?
z
Let u = -18 + 22. Suppose -5*j = 3*p + 7, p = -u*j - 0*p - 7. Which is smaller: j or -13/4?
-13/4
Let y be (-6 + 2)/(-7 + 10). Let m = 31/12 + y. Which is smaller: m or 0?
0
Let f = -38 - -37. Is f smaller than 1/176?
True
Let h be -3 + 3 + 4 + -3. Which is greater: h or 0?
h
Suppose 0 = -y + 4*n - n + 8, 2*n = 2*y - 12. Is y <= 2?
False
Let p be (-3)/(-1) + -1 + -1. Let o be 15/(-6) - (-1)/(-2). Let j be (6/o + 1)/p. Are -1/2 and j non-equal?
True
Let g(f) = -2*f - 3. Let u(h) = -5*h - 7. Let r(j) = -9*g(j) + 4*u(j). Let t be r(-1). Which is smaller: -1/8 or t?
-1/8
Let o = 2.07 + -0.07. Let v = -2.2 + o. Which is smaller: 0.3 or v?
v
Let x be -2 - (4 + (-2 - 29)). Is 1/4 < x?
True
Let k(i) = 2*i**2 - 26*i + 3. Let s be k(13). Are 3 and s unequal?
False
Let o = -18 - -18. Is o smaller than 0?
False
Let a = -42395/252 + 3369/20. Let y = a + -14/45. Is -1 less than y?
True
Let w = -5 - -5. Suppose 5*d = 10, 3*d + 2 = -w*r + 4*r. Is 3 at most as big as r?
False
Let m be (-6)/(-4)*6/(-9). Which is smaller: m or -2?
-2
Let w = 58 - 57.949. Is w smaller than -0.1?
False
Let u = 0.08 + -0.08. Let q be (-68)/20 + 4/10. Let c = q + 3. Is c less than or equal to u?
True
Let b be -1 - ((-30)/(-16))/(-3). Which is smaller: 0 or b?
b
Let h = 515/6 + -85. Is 0 equal to h?
False
Let c = 0 - -5. Let r be -1 - (-5)/(4 + -3). Do c and r have different values?
True
Let i = 2 - 1.7. Let z = i - 0.1. Which is bigger: 0.1 or z?
z
Let j = -171/8 - -21. Is j > 0.5?
False
Let k(s) = -s**2 + s + 1. Let u be k(-1). Let a be (u - 0)*1*0. Let o be (1 - 0) + a + -2. Is 2/11 greater than or equal to o?
True
Let x = 6967774/17 - 410002. Let p = -133 - x. Which is smaller: 1 or p?
p
Suppose -2*t + 2 = -t. Suppose -t*y + 4 = -3*v + 4*v, 0 = 5*v - y + 35. Suppose -4*n + 34 = -3*x, 2*x - 3*x - 26 = -5*n. Is x less than or equal to v?
True
Suppose 2*l = -2*l + 3*d - 9, 2*d + 2 = 0. Suppose 3 = -o - 0*o. Let t = l - o. Which is smaller: t or 1?
t
Let p be (2/((-4)/6) - -4)*0. Is p equal to -2?
False
Let l(q) = -59*q**3 + q**2 + 2*q + 1. Let h be l(-1). Let o = 529/9 - h. Which is bigger: o or 1?
1
Let p = 24 - 8. Let y = p - 15. Which is smaller: y or -3/13?
-3/13
Let a be 0*1/(-2) - (-32)/(-32). Is a greater than -1/173?
False
Suppose 0 = -2*i - 2*g - 8, 0*g - 12 = 2*i + 3*g. Suppose 0 - 4 = -u - 4*x, -4*u + 16 = 2*x. Let c be (-1)/u + (-27)/(-12). Which is bigger: c or i?
c
Let w = 76 + -74. Are 0 and w nonequal?
True
Let h = 0.01 - -0.02. Which is greater: -1/4 or h?
h
Let y = 2.3 + 2.7. Let k = y + -5.1. Which is bigger: 2 or k?
2
Let b = -23/9 - -7/3. Suppose 3*u + 2 = -1. Which is smaller: b or u?
u
Let f(s) = 5*s - 1. Let i be f(1). Suppose 0*c = -i*c. Is c greater than or equal to 0?
True
Suppose 2*b + 120 = 6*b. Let y be 1/3 - (-26)/b. Is 0 smaller than y?
True
Let l = 0.653 + -0.053. Is 4/7 < l?
True
Let k be ((-45)/10)/(-3)*(3 + -1). Let z be 3/12 - (-5)/4. Which is greater: k or z?
k
Suppose 0 = i + 6 + 3. Which is bigger: i or -7?
-7
Let v be (1 - (-3)/(-9))*-3. Let i be (-2)/(-3) + (-778)/6. Let q = i + 642/5. Which is greater: v or q?
q
Suppose 5*g = -2*u - 8, u + 7 = 3. Is g greater than 2?
False
Let v = -4 - 1. Which is greater: -2 or v?
-2
Let l = -13 + 71. Is l greater than or equal to 59?
False
Suppose -3*p = n - 10 - 3, p + 33 = 5*n. Is 9 greater than n?
True
Suppose 2*d = -4*a - 14, 4*d + 11 = -4*a + 5*d. Let f be (a/10)/((-27)/(-12)). Is f at most as big as -0.3?
False
Let g = 0 - 10. Which is greater: -8 or g?
-8
Let b be (-18)/(-14) - 2/7. Suppose -r = -3 - b. Is 6 >= r?
True
Let q be 10/(-25) + 26/(-10). Let n be -2 - ((-15)/(-2))/q. Is n at most 1?
True
Let m = 1802/11 - 164. Let s = 3 - 2. Is s at least m?
True
Suppose 0 = -3*n - x + 5 - 1, -n - x + 2 = 0. Which is smaller: n or -1/107?
-1/107
Let u = 40 + -57. Which is smaller: -15 or u?
u
Let r = -24 - -2. Let z = r + 13. Are 0 and z equal?
False
Let m = -66 + 65. Is 1/24 < m?
False
Let x(z) = -z - 1. Suppose -2 + 13 = -3*y - 4*v, -3*v - 7 = y. Let p be x(y). Suppose -2*m + 5 - 3 = p. Is 1 less than or equal to m?
True
Suppose 0 = -3*h + h + 2. Is h at most -1/26?
False
Let a = -27/10 + 31/30. Which is smaller: a or -2?
-2
Let r be ((-7)/(-10))/((-2)/(-59)). Let s = -1937/92 - -37/46. Let g = s + r. Is g > -2?
True
Suppose -4*j + 4 = -4. Let h be j/4*(-18)/(-3). Are h and 4 nonequal?
True
Let u be ((-16)/876)/(4/(-6)). Which is smaller: 0 or u?
0
Suppose 5*v - v - 2*z = -14, -2*z = 3*v - 7. Which is greater: -0.006 or v?
-0.006
Let m be 2/2 + 1 - -6. Let f(b) = -6*b - 2. Let x be f(2). Let l = m + x. Is -5 not equal to l?
True
Let d(b) = b - 3. Let g be d(0). Let p be 3 + (-22)/(-1 - g). Let m be (-1)/(10/p)*-5. Is m not equal to -4?
False
Let k(o) = 13*o**2 + 3*o - 21. Let v(a) = -3*a**2 - a + 5. Let h(m) = 2*k(m) + 9*v(m). Let i be h(-4). Is -0.