or z?
g
Let l = 38 + -307. Let q = -1349/5 - l. Let c = -5.1 - -5. Is q equal to c?
False
Let m = -0.009 + -74.991. Let v = -73 - m. Which is greater: v or 22?
22
Let c = 0.244 + -0.214. Which is bigger: -8/15 or c?
c
Let o be (7 - (-189)/(-28))/((-5)/20). Is o less than or equal to -11/16?
True
Suppose 0 = 3*y + 4*r + 985, -3 = -2*r - 5. Is -328 > y?
False
Let b(v) = -v**3 - v**2 - 1. Let h be b(-1). Let z = 0 - -2/11. Which is greater: z or h?
z
Let z = -128.049 - -0.049. Let r = z + 128.3. Is r < 0.7?
True
Suppose -r + 56 - 147 = 0. Let k = r + 131. Let x = k - 41. Is -0.4 greater than or equal to x?
True
Let n = -21 + -52. Let a = n + 74. Which is bigger: a or -1/14?
a
Let q(w) = 2*w**2 + 30*w + 67. Let d be q(-6). Which is smaller: d or -25?
d
Let m = -39 + 124/3. Let a = 17.3 + -17. Is m < a?
False
Let s = 0.0214 + 31.9786. Is -2/5 at most s?
True
Let v = -661 - -502. Is 0.1 greater than v?
True
Let v = 320 + -4157/13. Let r = -8 - -8.2. Which is greater: r or v?
v
Let h be (3/(-2))/((-27)/207). Let k = -10 + h. Are 2 and k nonequal?
True
Let f(t) = -3*t - 46 - 3*t + 3*t + t. Let d(n) = 1. Let l(q) = -10*d(q) - f(q). Let a be l(-15). Is a at most 5?
False
Let s = -19 - -29. Let r be -4 + s + 6/(-2). Suppose 45 = -2*h - r*h. Is h greater than -8?
False
Let a = 0 - -0.1. Let t = 67 - 63. Suppose 3 = 3*s, -4*s = -t*g - 0*s - 48. Do g and a have the same value?
False
Suppose 0*b - 4*t + 43 = -b, -4*b - 5*t = 88. Is -29 >= b?
False
Suppose 5*m = -3*z - 5, 0 = m + z - 2*z - 7. Suppose -m*f = 2*u - 0*f - 6, u = 5*f - 27. Let x = 117 - 113. Which is smaller: x or u?
u
Suppose -l = 5*b + 953, 11*b = 16*b - 3*l + 941. Does b = -189?
False
Let h be 9 + -5 + 3/(-1). Suppose -2*f = -f - h. Suppose l + 6 - 5 = 0. Which is bigger: f or l?
f
Let v be ((-4)/(-5))/((-8)/(-220)). Let r = -7 + v. Let x be ((-1)/(-3))/(5/r). Is x != 0?
True
Let c = 15 - 12. Suppose 3*j - 6*j - c = 0. Is -0.6 < j?
False
Let d be (54/(-4))/((-4)/40*7). Does 19 = d?
False
Let g be (-60)/(-18)*12/(-8). Which is smaller: g or -49/8?
-49/8
Let l = 11 + -17. Let k be (-414)/(-12)*(-4)/l. Is 22 >= k?
False
Let j be 3 + 6/(-4)*32/12. Suppose -2*w - 2*w = 88. Is j greater than w?
True
Let r(s) = s**2 + 4*s - 33. Let h be r(6). Suppose 3*b - 6 = h. Let v = 0.1 + 0. Which is bigger: b or v?
b
Suppose 5*w = -3*b + 280, 5*b - 211 = -w - 3*w. Is 57 smaller than w?
True
Let v = -9 - -17. Let m = 3 + -1. Suppose 0 = 5*o + m*a - 6*a - 48, -2*a = 5*o - 36. Are v and o equal?
True
Let h = 2065 - 1135. Does h = 929?
False
Suppose 0 = 4*m + 5 - 1. Suppose 21*d = 17*d + 16. Suppose d*a - 3*a = -5*a. Which is greater: m or a?
a
Let h be 2/3 + 65/(-93). Let r(y) = -3 - y + 2*y + 2 + y**2 - 3*y. Let u be r(2). Is h greater than u?
True
Let q = -165 + 158. Is q at most as big as -4?
True
Let l = -4501/4 - -1132. Let d(u) = 4*u**3 + 31*u**2 - 45*u - 288. Let v be d(-8). Which is greater: v or l?
v
Let a = -37 + 20. Let x = -2 - a. Which is greater: x or 16?
16
Let u be (-2)/(-4)*(-19 + 7 - -14). Is u >= -2/129?
True
Let z = -55 - -83. Is -1 less than or equal to z?
True
Let y be (-7)/((-1148)/(-1132)) + (7 - 0). Is 9 >= y?
True
Suppose 0*i - i = -7. Suppose -2*g - 2*g = 4*o - 24, 3*o = -2*g + 11. Is g less than i?
False
Let a be ((-7)/3*-14)/((-8)/12). Which is bigger: -34 or a?
-34
Let u = -119 - -125. Let w be (-2)/u*(-13 + 11). Is 0.1 greater than w?
False
Suppose -4*v + 0*v = -68. Suppose b + 2*b + n - v = 0, 0 = 2*b - 2*n - 6. Suppose -b*t + 3 = -7. Do t and 2 have the same value?
True
Let z be (-5 - 33/(-34)) + 2/4. Let a = -44/51 - z. Which is smaller: 2 or a?
2
Suppose 2*q - 61 + 4 = 5*a, -a + 51 = 2*q. Let f = q - 27. Do 6/19 and f have the same value?
False
Let b(u) = u**3 - 14*u**2 + 14*u - 8. Let r be b(13). Let h(y) = y - 5. Let p be h(r). Is -2/105 != p?
True
Let p(g) = -4*g**2 + 6*g - 2. Let m be p(-8). Let t be ((-2)/(-12))/(94/m). Let w = t + 2/47. Is w less than or equal to -22?
False
Suppose -25*k = 22*k + 76*k. Is k smaller than 663?
True
Let l(s) be the first derivative of -s**4/4 + 7*s**3/3 - 5*s**2/2 + 7*s - 22. Let r be l(6). Which is smaller: 11 or r?
11
Let w be (0/(-9))/(-2 - 1). Suppose w = -4*r - r - 25. Let n = 9 + r. Which is smaller: 5 or n?
n
Let a be ((-5736)/(-21))/(-8) + (-1)/(-7). Which is smaller: a or -37?
-37
Let d = 153 - 257. Which is greater: -102 or d?
-102
Suppose 13*v + 948 = -222. Which is smaller: -89 or v?
v
Let v be -12*((3 - 1) + -1). Is -20 smaller than v?
True
Suppose -g - 259 = 11*b - 10*b, -5*g = -3*b + 1271. Is g < -256?
False
Suppose 8*k - 2*i = 12*k - 12, -2*i = -k - 2. Let t be 76/10 - 2/(-5). Suppose 0 = k*s - t, 4*s - 3 = -2*p + 3*p. Does 12 = p?
False
Suppose 0 = -4*k + 20, -62*k + 25 = 3*g - 57*k. Let s be 69/(-27)*(-29)/2. Let r = -37 + s. Is r greater than or equal to g?
True
Let j be (3 - 53)*1/62. Is j less than -1?
False
Let s = 8 + -8. Suppose -5*p - 10 = -s*p. Which is bigger: p or 3?
3
Let x be (8/1)/(-1) + 2. Let q = 26 - -29. Let g = -54.9 + q. Is x at most as big as g?
True
Let p = 5727/5600 - -3/350. Which is smaller: 1 or p?
1
Let g be 1*((-1464)/14)/3. Which is bigger: g or -35?
g
Suppose 5*i + 660 = 5*l, -2*i = -5*l + 346 + 320. Is 134 at least as big as l?
True
Let z = 160 + 190. Is z at most as big as 350?
True
Let u = -252/5 + 50. Let c = 1 + 4. Let d = -5.9 + c. Which is greater: u or d?
u
Suppose 125 = 18*h - 23*h. Let n be (-4)/10*h/5. Is -23 at most as big as n?
True
Let o = 4 + -3. Let g be (-28)/21 + 78/27*1. Is o != g?
True
Suppose -3 = -11*w + 85. Is w at most as big as 8?
True
Let y = -123/8 - -655/24. Let a = y + -12. Suppose 0*x - x - 1 = 0. Is x > a?
False
Let z be -21*1 + (-1)/2*-10. Is z at most as big as -16?
True
Let c = 17.3 - 3.3. Let z = -14.08 + c. Let b = 5.92 - z. Which is greater: -1 or b?
b
Let y = -3 + -8. Let z(o) = -o - 21. Let a be z(y). Let l(h) = -h**3 - 5*h**2 - 2*h - 1. Let c be l(-2). Is a >= c?
False
Let z(j) = j**2 + 5*j - 2. Let w be z(-6). Let b(g) = g**3 + 12*g**2 - 2*g - 18. Let r be 264/(-21) + 28/49. Let t be b(r). Is w at most as big as t?
True
Suppose 5*d - 975 = -280. Suppose 10*k = -d - 41. Which is greater: -22 or k?
k
Let n = -3 - -8. Suppose -3*i + n*u + 9 = 0, i - 5*u - 3 = -0*i. Let t be (0/1)/(i/1). Which is smaller: 8 or t?
t
Let m = 19/15 - 143/105. Let s(q) = 3*q + 21. Let b(u) = -4*u - 31. Let y(o) = -5*b(o) - 7*s(o). Let g be y(8). Which is bigger: g or m?
g
Let k = 353/132 - 1/132. Are k and 5 non-equal?
True
Let u be 12/9*((-45)/(-9) - 11). Let g(w) = -8*w**2 - w. Let o be g(1). Is o greater than or equal to u?
False
Let a = -10 + 11. Let l(z) = -z + 1. Let u be l(a). Let w be (-20)/51 + 1/3. Are w and u equal?
False
Let d = 18 + -32. Suppose 0 = 2*a - w - 19, 3*a + w - 21 = -0*w. Let s be (d/(-8))/(a/(-32)). Is -7 greater than or equal to s?
True
Let o(r) = -r**3 - 3*r**2 + 4. Let k be o(-4). Let m = k + -20. Which is smaller: -15 or m?
-15
Let p be (-12)/66*(-6)/(-12). Let f = -0.01 - -0.01. Is f at most as big as p?
False
Let h(p) = 24*p**2 + 2*p - 1. Let g be h(1). Is 124/5 less than or equal to g?
True
Let g = -15 + 16. Let l(o) = -13*o**3 - 2*o + 3. Let w be l(g). Which is smaller: 1/3 or w?
w
Suppose 26 - 20 = 3*u. Suppose u*p - 4 = -8, -4*p = t + 11. Are -30/11 and t equal?
False
Let t = -172 + 172.1. Which is greater: 11 or t?
11
Suppose z - m + 6*m - 15 = 0, 0 = 4*z - 2*m + 6. Let b be -1*(-3)/(-3) + z. Is b greater than or equal to 4/13?
False
Let d(w) = -7*w + 2. Let b be d(-1). Suppose 3*c = -4*v + 7*v + b, 4*v + 12 = 0. Let z be 0*(1 - (c + 0)). Is z at most as big as 0.02?
True
Let x be (-3 - -3)/(1 + 1). Let k = 314 + -7225/23. Which is bigger: x or k?
x
Suppose 15 = -3*q, 3*q + 16 = 2*d - q. Let c be (-1)/22 + d/4. Let f be 7/((-63)/45) - -6. Which is greater: c or f?
f
Let h be 27/6 - 1 - (-3294)/(-12). Is h at most as big as -272?
False
Suppose -50 + 15 = -7*q. Which is bigger: 51/10 or q?
51/10
Let k = -325 + 1629/5. Which is smaller: k or 302?
k
Suppose 3*m + 2*l + 14 = -2*l, 0 = 2*l - 8. Which is smaller: m or -28/3?
m
Suppose 2*w = 2*h + 780, -5*w - 3*h + 2000 = 2*h. Let b = w - 1003. Let a be 216/b + 1/4. Which is greater: a or -1?
a
Let t be 72/33 - 6/33. Suppose -10 = -3*c + t. Suppose r + 3*r + c = 0. Is r <= -1?
True
Let b(p) = p**2 