l?
-190
Suppose 0*m - 14*m = -4*m - 25420. Are m and 2541 non-equal?
True
Let w = 5059109/130 + -38916. Is w less than or equal to -1?
False
Let t(v) = v**3 - 17*v**2 + 14*v + 38. Let g be t(16). Let x be (-28)/g*(-36720)/(-420). Do -407 and x have the same value?
False
Suppose 0 = -p + 3*y - 64, -p - 2*y - 47 = 7. Suppose -2*v + 11 + 45 = 0. Let r be 6/21 + (-1604)/v. Which is smaller: p or r?
p
Suppose -i + 2*p = 5, 3*p = -i - 0 - 5. Let z be ((-2)/(-20))/((-3)/i)*-2. Let b be (-4)/22 + 33/847. Are b and z equal?
False
Let k be (-80)/(-5 - 0)*6/(-4). Let d be 18/k + 274/(-8). Let b = 36 + d. Which is smaller: -2/5 or b?
-2/5
Let n(w) = 6*w**2 + 18*w + 25. Let z be n(-19). Let r = -997 + z. Let v be 2/5 + r/(-30). Which is smaller: v or -26?
v
Let c be (44 - 50) + (-8)/(-1). Suppose -c*z - 15 - 95 = 4*g, g + z = -29. Does g = -80/3?
False
Let v be 2/3*(-6)/10. Let y = 162 + -177.2. Let o = 15.4 + y. Is o < v?
False
Let k be 1256/(-8) - (-3 + 4). Let h = 152 + k. Which is smaller: h or -11?
-11
Let c = 277.3 - 277.2. Is -0.2249 <= c?
True
Suppose 3 = 2*w + w. Let y be ((-7)/(-28))/(w/(-4)). Let c be ((-2)/y)/((-6)/(-105)). Which is bigger: c or 36?
36
Let p be 13/5 + -3 + (-104)/(-10). Suppose 23 = j + 5*i, 2*j = 4*i - p - 14. Let k = -50 - j. Is k less than or equal to -48?
True
Suppose -4*k + 5 + 3 = 0. Let v be k + 17*3/(-26). Let b = 3392 + -3393. Which is bigger: v or b?
v
Let k be -6 - (-155)/25 - (-4389)/55. Suppose -f - l + 5*l + 72 = 0, 82 = f + l. Is k <= f?
True
Suppose -7*p + 3 = -8*p - 2*o, 0 = p - o + 15. Let m be (-2 + 0)/((-11)/(p*81)). Which is smaller: -164 or m?
-164
Let m(t) = 4*t**2 - 12*t + 5. Let a be m(3). Suppose -y + 2 = 3*y - c, -a*c - 10 = -3*y. Which is smaller: y or -59?
-59
Suppose -3*u = 5*x - 2, u - 2*x = -0*x - 3. Which is smaller: u or 4/1071?
u
Let w(q) = 5*q**2 - 13*q + 36. Let i be w(5). Let t be (3 - 332/i)*-9. Which is smaller: t or 4?
4
Let u = -2883/29 - -20668343/207901. Which is bigger: 0 or u?
u
Let c = 565 - 275. Let m = c - 260. Let i = -0.1 - -0.1. Which is smaller: i or m?
i
Let l(c) = -65*c**2 + 36*c - 4. Let z be l(3). Which is bigger: z or 1?
1
Suppose 40900 = -39*z + 44*z. Let g be z/108*3 + (-4)/18. Suppose 13 + g = 6*t. Are 39 and t equal?
False
Suppose -309 = -4*l + 3*b, -3*l - 10*b + 237 = -7*b. Let q be 6*5/150*l. Which is bigger: 15 or q?
q
Let w be (594/(-3))/1 - (362 - 373). Which is greater: 1 or w?
1
Let v = 18 - -18. Let m = -18.83 - 0.17. Let g = m + v. Which is smaller: g or 2/7?
2/7
Let u be (-45)/27*(52 - 1). Let l be 34/(-2) + (-45)/(-15). Let k = l + -71. Is k greater than u?
False
Let g = 400.39 - 400.19. Is g smaller than -8666?
False
Let m be (-1 + 3)/(((-21)/(-1290))/(-7)). Let v be 868/m - 2/(-2). Is 1 at least as big as v?
True
Let m = -1376 + 1404. Is 62 not equal to m?
True
Let v be 2*(0 - 1/(-2)). Let i be ((-5)/280)/((-528)/(-7040)). Which is smaller: v or i?
i
Let v(i) = 2*i**3 + 4*i**2 + 95*i + 557. Let a be v(-7). Which is bigger: -4176/7 or a?
-4176/7
Suppose -4*b = -12, 2*b = 5*r - 2*b + 92. Let y be (r/(-320))/((-4)/10). Suppose 5*n + 5 = -2*f, -3*f + 6*f = -n - 14. Which is smaller: y or n?
y
Let x = 12 - 5. Let v = -54097 - -54104. Does v = x?
True
Let z be ((-442)/(-357))/(-13) + (-14505)/(-140)*-3. Is z equal to -311?
False
Let j = 38 - 41. Let l be 9/j + 3 - -10. Let t be -2*(-5)/(-47*l). Is -1 at most t?
True
Let u = -74 - -74.024. Let a = u + 0.316. Let z = -2.34 + a. Is z greater than or equal to 8?
False
Let y(s) be the third derivative of -5*s**4/24 - s**3/3 + s**2. Let h(k) = 12*k + 427. Let d be h(-36). Let a be y(d). Which is smaller: a or 24?
a
Suppose 0 = 4*z + 5*m + 40, 12*z - m = m + 16. Which is smaller: z or -2/7277?
-2/7277
Let u = -22253 - -3382491/152. Which is greater: u or 0?
u
Suppose -q - 3*q = -4. Let d be (4/2)/(q*2). Let k = -31 - -31. Is d > k?
True
Let v(t) = -t**2 - 8*t - 38. Suppose 0 = 3*s + 5 + 16. Let h be v(s). Is h >= -33?
True
Let q(p) = p**3 - 9*p**2 - 20*p - 189. Let o be q(12). Suppose 6 = -2*d + 16. Is o at least as big as d?
False
Let m = -1369/1311 - -22/23. Is m bigger than -1?
True
Let m = 1876 + -13130/7. Which is greater: 2967 or m?
2967
Let r(d) = -3*d + 5. Let p be r(4). Let t(m) = -44*m + 1 + m**2 - 43*m + 84*m. Let k be t(3). Are p and k equal?
False
Let v be (5/(-2))/5*-12. Suppose -5*r - 8 = -c, 4*c - c = -3*r + v. Suppose 2 = 4*s - 10, 0 = -c*a + s - 3. Which is greater: 1/51 or a?
1/51
Let m = 1576348/7 + -225884. Are m and -692 equal?
False
Let w(a) = a**3 - 23*a**2 + 291*a - 4. Let p be w(9). Which is smaller: p or 1482?
p
Let y = -67 - -64. Let v = 3.71 - 3.64. Is y at least v?
False
Let x be 1 - 99/(-9) - 5. Are 3 and x non-equal?
True
Suppose 5*d = 2*y - 277, -5*d + 6*y = 3*y + 278. Let a be d/15*((-14)/(-6) + -3). Is 3 bigger than a?
True
Let i = -0.68 + 0.2. Let w = -0.05 - i. Let l = -1.43 + w. Is 1.3 bigger than l?
True
Suppose -v = -6*v - 3*p + 394, -4*p = -v + 65. Suppose z - 174 = -5*n, 5*n - 94 = -4*z + v. Let m = -24 + n. Which is greater: 10 or m?
m
Let v = 67789 - 67791. Let h(i) = i**3 + 5*i**2 - 6*i. Let s be h(-6). Is v at least as big as s?
False
Let x be 11 - (-3 - -4)*8. Suppose -5*n = -3*y - 2378, x*n - n + 4*y = 946. Is 475 != n?
False
Let s(c) = -49*c**3 + 3*c**2 - 2*c - 1. Let w be s(2). Let d = 585 + w. Let j be (d/(-24))/(28/12). Is j at least as big as -3?
False
Let f(v) = 6*v**3 + 266*v**2 + 90*v - 17. Let l be f(-44). Is -132 at least l?
False
Let p = 9.95086 - -0.04914. Is 26 at most as big as p?
False
Let v = 112505 + -14850733/132. Let w = v + -5/44. Is w != 0.4?
True
Let g = 8953 + -9251. Do 10 and g have the same value?
False
Let n be (-31)/(403/(-78)) + (-9 - -2). Which is smaller: n or 28/607?
n
Let w = -1185 + 1102. Is w smaller than 1.5?
True
Let q = 13430 + -27371/2. Which is bigger: -255 or q?
-255
Let h be -28*-6*(-8)/192 + 4. Let i = -187/364 - 3/52. Are h and i equal?
False
Suppose -4806 = -265*z + 1819. Which is smaller: z or 186?
z
Let x = 61 + -57. Suppose 3*u - x*o + 30 = 5*u, 0 = -u + 5*o - 20. Is 5 greater than u?
False
Let z = 48 + -61. Let p be 4/(-1) + (-104)/z. Suppose 0 = -s - 5*t + 3*t + 7, 0 = 4*s - p*t + 20. Is s <= -4/7?
True
Suppose 0 = -4*d + 57 - 25. Does 83/10 = d?
False
Let v = 14037 + -14035. Is 165/163 bigger than v?
False
Let y be (1/(-5))/(44996/70). Does y = 0?
False
Let i be 1 + 50/(-35) + ((-389571)/(-41209) - 9). Is 0 at least as big as i?
False
Let h be (14 - 7)*8/14. Let l be 0 - (h + 1 - 1). Let a be ((-2)/6 - l) + -4. Which is smaller: 7/6 or a?
a
Suppose 7*a - 1781 = 3*a + 1211. Which is greater: a or 742?
a
Let i be 2 + 0 - 358/178. Let q = 4144 + -4144. Which is bigger: q or i?
q
Let j be (-163 + 4)*-1*(20 + -21). Let p = -195 + 35. Which is smaller: j or p?
p
Let b = 122 + -87. Let f = b - 49. Let k = -107639 + 107639. Which is greater: f or k?
k
Let q = -2.4 - -31.4. Let h = q - 19. Let p = h - 10. Which is smaller: 24 or p?
p
Let g be 28*-2*(-4)/(-16). Let u = 47 - g. Let y = 114 - 53. Are u and y equal?
True
Let n = -18/241 + 13881/1928. Let t = 0.04 + -1.04. Is n greater than t?
True
Let x be 2896/(-80) + -4*(-9)/(-20). Which is smaller: 33 or x?
x
Let b = -2/25493 + -815526/3186625. Which is bigger: 1 or b?
1
Let s(z) = -z**2 - 8*z + 10. Let y be s(-9). Let g = -168 + 173. Suppose 2*v + 25 = -g*a - 3*v, a + 2*v = -9. Which is greater: y or a?
y
Let p = -667.5 + 489.5. Which is bigger: p or 9?
9
Let n = -35.03 + 35.194. Which is greater: 3/4 or n?
3/4
Let g be 2/3 - (4/(-50) - 280/(-375)). Which is bigger: g or -4449?
g
Let m(w) = w**3 + 18*w**2 - 4*w - 50. Let o be m(-18). Suppose 0 = -x - 21 + o. Does 14/39 = x?
False
Let g = -3758 + 3756. Which is smaller: g or -15/22?
g
Let h = 211 - 207. Suppose 0 = -4*n + 2*d - 125 + 7, -h*d = 5*n + 154. Is -35 > n?
False
Let a(k) = -83*k + 2069. Let n be a(64). Is n greater than or equal to -3244?
True
Suppose 5*m + 2*t = -12, -12 = -2*m - 5*t - 0. Let i be m/(-1)*(2 - 1). Is 27/8 bigger than i?
False
Suppose 5*b = 25, -182 = -3*g - b + 69. Suppose 11*v = -28 - g. Let a be (15/18)/(v/(-6)). Which is greater: -1 or a?
a
Let b = -549 - -548.771. Let w = 0.171 - b. Which is bigger: -3 or w?
w
Let y = 30.878 + 3.122. Let o = -0.026 - 31.974. Let v = o + y. Which is smaller: 1/3 