y or a?
a
Let o be (-1 + (-24)/(-18))/(2/36). Let w be -6*(-3)/12*2. Which is bigger: w or o?
o
Suppose 6*g + 230 = 11*g. Suppose -16 + g = -5*n. Let d be -1 + 4/n + 1. Which is greater: 3/7 or d?
3/7
Let m be ((-7 - -11) + 7)/((-2)/(-2)). Are 11 and m non-equal?
False
Let o = 2.78 + 0.52. Let m = 4 - o. Let l = m + -0.9. Is l smaller than 2?
True
Let r = -0.047 - 0.373. Let h = r + 0.02. Let g = -0.7 - h. Is g less than or equal to -0.06?
True
Suppose 7 = 2*t + 25. Suppose 0 - 28 = 4*q. Is q equal to t?
False
Let c(r) = 8*r - 135. Let t be c(40). Is 182 greater than or equal to t?
False
Let c = 7 - 7. Let h = -1703497/62 - -27475. Let l = 1/124 + h. Which is smaller: c or l?
l
Let s be 5/1 - (0 + -1). Is s smaller than 72/13?
False
Let u = -13091 + 14308461/1093. Is u at most as big as -1?
False
Let d be 4/(-24)*-6 - -38. Suppose 0 = -p - 15 + d. Do 21 and p have the same value?
False
Let u = 13 - 14. Let y = 1343/4410 - 2/441. Which is bigger: u or y?
y
Let u = 0.785 + -0.7195. Is 1 smaller than u?
False
Let g(l) = -l**3 - 5*l**2 + 5*l - 4. Let f be g(-6). Let r be 3/(f - 5)*-3. Let x = 6 + r. Is 9 >= x?
True
Suppose 75 = 3*d + 18. Let q = 245 + -227. Is q greater than or equal to d?
False
Suppose -3*i = -2*b - 4, -4*b + 9*b = -4*i + 36. Suppose -5*l + b*v + 46 = 4, 3*l - 3*v = 27. Do 7 and l have different values?
True
Suppose 254 - 1850 = -38*a. Is a greater than or equal to 30?
True
Suppose 9*c + 17 + 37 = 0. Let x(b) = -b**3 - 5*b**2 - b - 7. Let d be x(c). Which is smaller: 36 or d?
d
Let q = 1099 + -34067/31. Let n be 12/8*(-4)/6. Is n at most as big as q?
True
Let u = -1/19 + 139/114. Let z = u + 1/3. Which is bigger: -8 or z?
z
Let u be 0 - (-14 + 1 + 2). Let k(m) = -7*m - 258. Let b be k(-38). Is u less than b?
False
Let v be ((-2)/8)/((-19)/(456/(-2442))). Is -3 smaller than v?
True
Let u(y) = -3*y - 35. Let g be u(-12). Let v be (-8)/15*(-75)/18. Which is smaller: g or v?
g
Let g = -4 - -12. Let x = -10 + g. Let m = 11 - 13. Is m != x?
False
Suppose -b - 5 = 0, 0 = 5*p - 4*b - 19 - 1. Suppose -j + 23 + 6 = p. Is 28 greater than j?
False
Let s = 231 + -229. Which is bigger: s or -89?
s
Let c(y) = y + 7. Let j be c(-2). Suppose -11*g = -j*g + 114. Which is smaller: g or -18?
g
Let z be (-2 + 20/12)*0. Suppose 2*m - 9 = 3*o, z = -m + 4*o - 0 + 7. Suppose 4*v + 53 = -m. Is -13 greater than v?
True
Suppose -7 = o - 4*d, 3*d - 8*d = -15. Suppose -2*f - 1 = -o. Let t = -141 - -144. Which is smaller: t or f?
f
Suppose 0 = a + 6*a + 70. Let m be (-1)/((-14)/24)*-7. Which is greater: a or m?
a
Let l be 4/(-78) - 2/(-12). Suppose 0 = -3*o + o. Suppose -4*f = z + z + 2, 2*f - 3*z + 5 = o. Is f less than l?
True
Let d(j) = j**3 + 9*j**2 + 14*j - 2. Let t be d(-7). Let l be (((-2)/((-1)/1))/t)/1. Which is smaller: -17/8 or l?
-17/8
Let f = 11981.9 - 12535. Let z = 519 + f. Let h = -34 - z. Is -0.14 greater than or equal to h?
False
Let d be (14/8)/((-8)/(-96)). Suppose 2*c + 11 = -5*g, -c + d = -5*g - 11. Let h = 138 + -131. Is h < c?
False
Let y = -13/5 - -3. Let u(q) be the second derivative of -q**4/12 - 3*q**3/2 + 13*q. Let h be u(-9). Is h at least as big as y?
False
Let i = -0.011 - 8.189. Let c = -13 + i. Let z = c - -21. Is 8 at least as big as z?
True
Let i(t) = 3*t + 19. Let f be i(-8). Let n = f + 8. Let d be (3 + (-27)/10)/n. Is d <= -1?
False
Let m(u) = 21*u + 67. Let p be m(-3). Are p and 0.14 nonequal?
True
Let f(m) = -12*m + 4*m + 7*m - 3. Let y be f(-4). Does -2/53 = y?
False
Suppose 3*s + f = -1, 0 = -3*s + 2*s + f + 5. Which is greater: -4/51 or s?
s
Let y(u) = 79*u**2 + 1. Let a be y(-1). Let m be a/(-96)*1/20. Which is smaller: 0 or m?
m
Let s = -797 + 692. Which is bigger: s or -104?
-104
Let y(g) = -7*g**2 + 4*g + 4. Let u be y(-1). Let a(d) = d**2 + 5*d - 2. Let o be a(u). Are o and 12 equal?
True
Suppose 5*y - u + 93 = 2*u, -4*y - 3*u = 69. Let o be (-6)/y - 8/6. Let v = -7 + 3. Is v at most as big as o?
True
Let o = -130.122 - -130. Let b = o - 100.878. Which is bigger: b or 1?
1
Suppose 8*g + 189 - 173 = 0. Is 0 bigger than g?
True
Let p be ((2/5)/(-1))/(8876/(-70)). Let u = 2515/6657 + p. Are -1 and u nonequal?
True
Let q = -6649/15 + 443. Which is bigger: q or 0.3?
0.3
Let s = 1288007 + -1101246236/855. Let a = s + 3/190. Let q = -1/2 - a. Which is greater: -1 or q?
q
Let u = 766/5 + -9928/65. Suppose 0 = 5*t - 7*t + 18. Let w = t + -8. Is u less than or equal to w?
True
Let x = -3 + 7. Let m be (-21)/6 - x/(-4). Let r = 118 - 120. Which is greater: r or m?
r
Let u = 5 + 7. Suppose -4*p = 3*a - 9 - 16, 0 = -4*a - p + 42. Do u and a have different values?
True
Let m be (264/(-2640))/(1/12*1). Let y(p) = 1 + 5*p + 0 + p**3 + 4 - 7*p**2. Let i be y(6). Which is bigger: m or i?
i
Let f = 0.08 + -0.18. Let z = -17.7 + 14.7. Which is smaller: z or f?
z
Let r = 31.472 - 28.51. Let o = -0.038 - r. Is o greater than or equal to 12?
False
Let i be (65/(-15) - -4)/((-19461)/(-13707)). Let y = i - -2/499. Let q be (-6)/4*(-12)/(-27). Is q less than y?
True
Let x = 16 - 26. Let k = 19 + x. Let n = k - 10. Which is greater: n or -3?
n
Let g = 14.7 - 16.7. Let i = -18 + 34. Let z be (-2)/(-3) + i/(-42). Is z less than or equal to g?
False
Let x = -2047019/253 - -8091. Is 0 bigger than x?
False
Suppose -20*g + 17*g - 2*y = -70, 3*g + y = 65. Is g < 16?
False
Let c(x) = x**3 - 18*x**2 - 205*x - 74. Let l be c(26). Is l less than or equal to 34?
True
Suppose 0 = -2*y - 4*c, 0 = -0*y - 4*y + 4*c - 12. Let j be ((-1)/y)/((-11)/(-308)). Let i = 30 - 17. Which is smaller: i or j?
i
Let h = -1123 + 1110.4. Which is greater: h or -0.3?
-0.3
Suppose 2*u = x - 6, -5*x + 0*u = 3*u - 30. Suppose x*v + 54 = -78. Let g = -65/3 - v. Are -1 and g nonequal?
True
Let q be (-3)/14*(-49)/(-42). Which is smaller: q or -18?
-18
Let x = 227/10 + -116/5. Let r = -1/6 + x. Is -2/3 greater than or equal to r?
True
Let t be -2 + -3 + (6 - (1 + 3)). Which is smaller: -25/11 or t?
t
Let p = -78 + 136. Which is greater: p or 5?
p
Let u = 136.9 - 137. Which is greater: -0.03 or u?
-0.03
Suppose -10*w - 10*w = 7*w. Which is greater: w or 1/1084?
1/1084
Let d be (-32)/(-112) - 102/14. Let y = -10 - d. Let i be 0 - ((-1 - -6) + y). Is i less than 1?
True
Let x = -92.5 - -62.2. Let z = x - -30. Let a = -0.23 + -0.27. Which is smaller: a or z?
a
Let s = -9 + 0. Let k = s - -7.9. Let d = 0.1 + k. Is d smaller than 1/4?
True
Let z = -0.105 + 0.005. Is z smaller than -996?
False
Suppose -2*g = k - g + 11, 5*g = 5*k + 35. Let n be (-15)/135 + 8/k. Is -1/73 bigger than n?
True
Let j be (3 - 7) + 8 - 9. Let s be (-2)/(-3)*(-198)/24. Which is smaller: j or s?
s
Let t = -150.397 + 150.4. Let j be (2 + -1)*1*-1. Is j greater than or equal to t?
False
Let x = 893019 - 23227591/26. Let t = x + 350. Does t = 0?
False
Let v = -10 - -6. Let q be ((-4)/(-8))/((-6)/v). Let n be (408/(-40) + 11)/(1*-2). Is n smaller than q?
True
Let o = -34480/37 - -932. Let q = o - 94/185. Do 2/5 and q have the same value?
False
Let c(t) = -4*t - 17. Let m be c(-4). Suppose 5*b - 4 = -19. Let k = b - -1. Which is bigger: k or m?
m
Let o be 1/(-8) - 5108/(-160). Let v = o + -311/10. Which is smaller: 1 or v?
v
Let o = -119 + 118. Is o >= 9/37?
False
Suppose -23*j - 43*j = -1782. Let p = 0.3 - 0.4. Is p smaller than j?
True
Suppose -4*f + 6*j - 47 = 5*j, 0 = -2*f + 4*j - 6. Let p = 4066 - 20389/5. Do f and p have the same value?
False
Let x be (4/5)/((-128)/(-20) - 6). Which is smaller: -7 or x?
-7
Suppose 18*b - 14*b + 511 = -i, 3*i = b - 1494. Are i and -499 equal?
True
Suppose -5*c = -3*h + 2, 7*h + 0*h + 10 = -3*c. Is 1127 greater than h?
True
Let t be -1 + 0 + 1530/1548. Is t greater than 1?
False
Let g = -71861/107423 + 119/178. Which is greater: 1 or g?
1
Let n be -3 - 3*8/(-6). Let d = -124 + 6818/55. Which is bigger: d or n?
n
Let c = -48 + 191/4. Let z = -0.2166 - 1.7834. Which is smaller: c or z?
z
Let p = 7 - 6.93. Let t = -0.073 - 31.927. Let l = 32 + t. Is l at most as big as p?
True
Let h = -10.312 - 0.088. Let r = -10.1 - h. Which is bigger: -0.29 or r?
r
Let a be (-1 - 234/(-66)) + -5. Which is bigger: a or -3?
a
Let w be (4 - 3)*-1*-2. Suppose 0 = w*p - 20 - 20. Suppose 2*k = 13 + 27. Is k < p?
False
Let x be ((-66)/(-11) - 19)*1. Let s be 2/8 - (-110)/8. Let t be 4/s + 86/(-7).