
Let t = -85 + 169. Let c be (1 + (-25)/26)/(7/t). Which is greater: -4 or c?
c
Let t = 149.64 + 3.36. Let g = t - 152.9. Which is greater: g or -1/5?
g
Let k = 0 - 0. Suppose l = 4*v + 2, k = 6*l - 2*l - 2*v - 8. Do 1 and l have different values?
True
Let z be 4/(-6)*(-6)/(-10). Let t = 145 - 583/4. Which is smaller: z or t?
t
Let d = 3159 + -3158.5. Let b = -0.34 + 0.4. Is d greater than b?
True
Let o(r) = 2*r**2 + 6*r. Let c be o(-3). Is -264 at most as big as c?
True
Let d be (-1 - -1) + (-30)/(-6). Let j be 9/81*(-2)/d. Which is smaller: -1 or j?
-1
Let n = 46 + -46.6. Let q = -1 - -0.6. Let o = q - -0.3. Which is bigger: n or o?
o
Let p be (3/(15/32))/(108/540). Which is bigger: p or 31?
p
Suppose v - 3*h - 8 = -3*v, h = -4. Suppose -15 = -0*a + 5*a. Let n be ((-2)/a)/((-91)/(-39)). Is v != n?
True
Let l be (-3)/(27/3)*111. Let p = 65 + -103. Is l less than or equal to p?
False
Suppose 23*k + 175 = 48*k. Which is smaller: k or -14/9?
-14/9
Let q be ((-410)/(-20))/((-2)/3). Let z = -31 - q. Which is greater: z or 0?
0
Let k(n) = 5*n - 1. Let c be k(2). Suppose -4*a = -5*x + 26, -x - 3*x + 16 = -2*a. Let g = a - c. Is -13 < g?
False
Suppose -3*a = -a - 4*s, 2*s = 2*a. Suppose a = -2*r - 2*r + 120. Which is bigger: r or 29?
r
Suppose -22*v + 228 = -23*v. Are -229 and v nonequal?
True
Let v = -10 - -12. Suppose w + 52 = -4*c, 2*c + 25 = -v*w - 7. Let u(a) = -a**2 - 12*a. Let t be u(c). Are 1/2 and t non-equal?
True
Suppose -22 = 2*n - 5*n - 4*z, 29 = 4*n + 5*z. Let v = 2 + 4. Do v and n have the same value?
True
Let m(x) = x**2 - 6*x - 17. Let o be m(8). Suppose 0 = 4*y - 7*y - 6. Let j be 0 + (-11)/7 - y. Is o less than or equal to j?
True
Let p be (-2)/((-32)/(-116)) + 1/4. Suppose 4*c + 3 - 9 = 5*d, -5*d = -3*c + 2. Let z = d - 10. Is p != z?
True
Let t be 142/(-14) - 198/(-18). Suppose 2*s = -3*s. Which is bigger: s or t?
t
Suppose -15 = -6*f - 57. Is f at least as big as -31?
True
Suppose -28 + 4 = -2*j. Which is smaller: j or 6?
6
Suppose -6*s + 5*s - 2 = 0. Suppose 3*w = -4*z + 41, -34 = -2*w - z - 3*z. Suppose -4*a = 2*g - w*g + 5, -a - 5 = 0. Is s greater than or equal to g?
True
Let i = -0.06 - 0.04. Suppose -j = -4 - 0. Let v be j/24 + (-242)/12. Is i at least v?
True
Let x = 12.7 + 14.3. Let w = x + -3. Which is greater: -2/5 or w?
w
Let x = -650098/49 - -13270. Is x equal to 2?
False
Suppose -2*q - 4*b - 4 = 0, 14 = 2*q - 2*b - 6. Let o be (0/(-1))/(q + -7). Suppose -6*m + m = o. Is m less than or equal to 1/9?
True
Suppose -4*s + 41 = 4*j - s, -18 = -2*j - 2*s. Suppose -6*n + j = n. Let m be n/(-6) - 24/(-64). Which is smaller: 1 or m?
m
Let l = 1.3 + -4.3. Let r = l + -2. Suppose 0 = 5*k, 4*z = -4*k - k. Which is smaller: r or z?
r
Let t(x) = x**2 - 48*x - 6. Let o be t(48). Suppose 0 = -3*j - v - 15, -4*j - 21 = -v + 6. Are j and o nonequal?
False
Let v be 0/((-6)/(-12)*-4*1). Let x be (3/6)/(15/(-14)). Is v >= x?
True
Suppose 0 = 2*n + 4*w + 88, w - 2 = -2*n - 75. Is n greater than or equal to -28?
False
Suppose -21*p - 4 = -25*p. Suppose p - 2 = -3*b - 4*z, -4 = -4*z. Which is greater: b or 3/8?
3/8
Let n be 4/(-8) - 14/(-27). Is -15 smaller than n?
True
Suppose 4*o + 2*t - 8 = 0, 2*t - 16 = -8. Is 6/85 bigger than o?
True
Let d = -0.032 - 30.968. Let a = 31 + d. Let h = 3.6 + -3. Is a not equal to h?
True
Let s = 26 - 20. Let c(r) = -r**3 + 6*r**2 + 4*r - 8. Let w be c(s). Let g = w + -11. Is 6 >= g?
True
Suppose 5*p - 4*n = 697, -p + 2*p = 3*n + 146. Let d be p/2*(-12)/(-126). Let q = d - 55/7. Which is smaller: q or -1?
q
Let d = -2 - -3. Let l be 4/(-6)*3/d. Let s be 0 + 7 + 6 + -11. Is s at most as big as l?
False
Let x be ((-4)/6)/(6/(-72)). Let q be 6*4/x*-23. Let y be (322/q)/((-4)/(-6)). Which is bigger: y or -6?
-6
Let t(a) = -a**3 - 7*a**2 + 8. Let l be t(-7). Let v = 6 - l. Let c be v/(-1 - (1 + -3)). Is 2/11 smaller than c?
False
Let b be (12/18)/((-4)/(-30)). Let q be ((-2)/(-5))/(8/b). Let x = -83.1 + 83. Is q <= x?
False
Let d be (-1529)/495 + 4/(-5). Let r = d - -148/45. Which is greater: r or 2/13?
2/13
Suppose 3*q + 65 = 5*s, -5*s + 5*q + 98 - 33 = 0. Suppose -3*o + 40 = f, 3*o - 5*f = -0*f + 52. Which is greater: o or s?
o
Suppose -2*z + 2*f = -80, 5*f + 8 = z - 48. Which is bigger: z or 18?
z
Let k = 181.8 + -182. Let d be (-2)/9*(-948)/(-136). Let l = d - -15/17. Which is smaller: l or k?
l
Let l(j) = 2*j**2 - 9*j + 1. Let h be l(5). Suppose 2*w - 3 = c + h, -4*w = 2*c - 30. Which is smaller: w or 2?
2
Let u be ((-1863)/(-315) + -6)/(2/10). Is 3 smaller than u?
False
Let q(k) = -2*k**2 - 21*k - 8. Let j(o) = -o**2 - 10*o - 4. Let w(c) = 7*j(c) - 3*q(c). Let y be w(-5). Which is smaller: y or 3?
3
Suppose -9*k = -11*k + 98. Suppose 4*l = -3*o + k, 3*l - 52 = -4*o + l. Is o greater than 13?
False
Let u(g) = g**3 + 11*g**2 - 13*g - 12. Let h be u(-12). Which is greater: -146 or h?
h
Let q(t) = -t**2 - 8*t + 3. Let m be q(-8). Suppose -93 = -s + m. Let c be ((-2)/s)/(6/8). Which is greater: c or 0?
0
Suppose 0 = -2*t - 5*i + 25 - 62, 0 = 2*i + 2. Is -9 at least t?
True
Let q = 169 - 20. Let m = q + -115. Is m smaller than 36?
True
Suppose 21 + 107 = -4*p. Let m = p - -33. Is -2/303 bigger than m?
False
Let j be -1 + (0 - -2 - -209). Let c = j + -76. Let x be 197/c - (-3)/(-2). Is 1 less than or equal to x?
False
Let d = -0.13 - 5.87. Let t = 5.99 + d. Let g = t + -0.19. Which is smaller: g or 7?
g
Let c(g) = g**2 - 7*g - 23. Let h be c(-5). Is h less than 40?
True
Let b = 19 - 10. Let n(s) = -s**2 + 13*s + 24. Let t be n(14). Let q = t - b. Which is smaller: q or -1/12?
-1/12
Let h = -27 - -84. Let k = h - 31. Let g = -31 + k. Do g and -3 have different values?
True
Let p = 27 + -12. Let h = p + -7. Let f = 8 - h. Which is bigger: f or -4?
f
Suppose -9 + 4 = -3*j + 4*g, 2*j - 4*g = 6. Let t be (1 - -1 - 0)*(-3)/(-20). Which is greater: t or j?
t
Suppose -x + 5 = -f, -2*x - 4*f + 9 + 1 = 0. Suppose 3*i - 38 = -x. Let r be -2*(-4)/(-4)*-5. Is r >= i?
False
Suppose -5*r + 28 + 47 = 0. Suppose 0 = 7*d - 2*d + 2*a + 10, 4*d + 3*a + r = 0. Which is smaller: d or 13/12?
d
Suppose 5*r - 5 = 0, -5*l + 9 + 7 = r. Suppose 0 = 2*j + 2 - 8. Are j and l nonequal?
False
Let a be (-18)/(-234) + 2/(-26). Is a greater than -1/73?
True
Let l be 135729/(-740520) + 4/22. Which is smaller: -1 or l?
-1
Suppose 4*z - 21 + 5 = 3*f, 3*z = -2*f + 12. Which is bigger: 11.8 or f?
11.8
Let v be (-2 - 705/(-6))*84/(-126). Which is greater: -72 or v?
-72
Let b = 1472 + -1473. Is b at most as big as -17/60?
True
Suppose -7*w + 38 - 3 = 0. Let n = 4 - w. Let g = 0 + 0. Which is bigger: g or n?
g
Let p = 228 + -230. Is p > 1/4?
False
Let v = -919/2 + 460. Which is greater: v or -2?
v
Let z = 21 - 49. Is z at least -26?
False
Suppose -4582 - 5876 = 21*p. Is p less than or equal to -499?
False
Let f = 924 + -924.07. Are 15 and f unequal?
True
Let y be (0 - -2)*(-5 + (-58)/(-4)). Is 121/6 less than or equal to y?
False
Let j = -722 + 722.2. Which is bigger: -54 or j?
j
Suppose -2*t + g + 17 = 0, 0 = 2*t - t - 3*g - 6. Suppose 3*b = -4*b + 14. Let z be 4/30*t/b. Is z > 2?
False
Let o = 5 - 3. Suppose v = y, -3*v + 6*v - y = -o. Which is smaller: 1/34 or v?
v
Let v = 29 - 89/3. Let m = -125.6 + -8.4. Let c = -134.08 - m. Is v > c?
False
Let d(a) = 2*a**3 - 15*a**2 + 6*a + 7. Let j be d(7). Is j greater than 3/46?
False
Let n be (0 + 1)/(3/9). Suppose 6*q = 2*q - n*o - 16, 13 = -q - 3*o. Let i be q/(-2)*0/(-8). Is i at most -3/10?
False
Let v = 2/327 + 967/2289. Let s = 274 - 270. Is v equal to s?
False
Suppose -9*l - 18 = -10*l. Let i be 0/5 + 17 + 0. Which is smaller: i or l?
i
Let u = 0.23 - 0.34. Let m = u + 0.51. Let k be -1 + (-2)/(-6)*1. Which is bigger: k or m?
m
Suppose -4*u + 7*w - 6*w = 307, 3*u - 3*w + 237 = 0. Which is smaller: u or -79?
-79
Let q = -34 + 43. Suppose 239 + q = 8*g. Is 1/4 < g?
True
Let q = -396.155 - -396. Is q > 0.1?
False
Suppose 0 = 3*n - 200 + 104. Which is bigger: n or 28?
n
Suppose 2*b = -3*s + 15, 0 = -5*b + s - 5 - 0. Is b greater than or equal to 1/530?
False
Let h be -2 - (-1 - (-1 - -3)). Let p be h/((-6)/12) + 8. Let a = 1 + 1. Does a = p?
False
Suppose -40*z - 6 = 34. Which is bigger: z or -69?
z
Let m = -39 + 39. Let h = m - 4. Is h not equal to -3?
True
Suppose 0 = -2*g + 29 - 1. Suppose 5*q = -4*