r or x?
x
Let j be 32/14 - (-22)/(-77) - 22. Let l be 240/j*(-3)/4. Does l = 11?
False
Suppose -519 = -b + 383. Let u = 133382 + -529899/4. Let l = u - b. Which is greater: l or 5?
l
Let b = -10.2 + 10.75. Let i = -32.15 - -31. Let j = b + i. Is 4 not equal to j?
True
Let j(w) = w**3 + w + 0*w - 3*w**3. Let t be j(1). Let c be 1 + (-7)/5 - (-13)/((-15210)/(-456)). Which is bigger: c or t?
c
Suppose -4 = t, 0 = 99*n - 100*n - t - 326. Which is greater: n or -326?
n
Let u = -621.277 + 621. Let x = u + -6.723. Is x >= 10?
False
Let w(y) = 21*y - y**3 - 24*y**2 - 2*y**2 + 55 + 8*y. Let a be w(-27). Let k = -235/4 + 58053/988. Are k and a equal?
False
Let b be (-1 - 1)*(1 + (-99)/6). Let p = 25 + b. Do 53 and p have the same value?
False
Let g = 373.693 + 0.307. Let m = 391 - g. Are 4 and m nonequal?
True
Let w(y) = 2*y**2 + 14*y - 10. Let l = 161 - 169. Let t be w(l). Is t less than 4?
False
Let a be -1 - (1 - 0)*-5. Let b be (2/(-234))/((-44)/33). Let g = b + 29/39. Which is bigger: a or g?
a
Let l = 1135.94113 - -0.05887. Which is smaller: l or -3?
-3
Let l be 30/25 - (4584/5)/(-6). Which is greater: 1077/7 or l?
l
Suppose 4*q - 3*q = 11. Let c be (721/49 + 360/(-24))*(-15)/10. Which is greater: q or c?
q
Let a(l) = -l**3 - 9*l**2 - l - 8. Let q(x) = -x**2 - 7*x - 15. Let z be q(-6). Let u be a(z). Let i be -2*1/(-2) - u. Is i smaller than 0?
False
Suppose 5*n = 4*n - 2*h + 6, 2*h + 26 = 3*n. Suppose 2*i = -3*j + 23 + 6, i - n = 5*j. Are i and 53/4 non-equal?
True
Let y = 0.33 - -3.67. Which is greater: -447 or y?
y
Let g = -4/1841 + -522/1841. Which is smaller: g or 3.304?
g
Let a = -85 + 71. Let v = 19 + a. Let f be (1 - 16/v) + 16/80. Is -3/2 bigger than f?
True
Let u be (6 - 3)*(-2)/(-45). Suppose -d - 4*t + 1350 = 4*d, d - 291 = -5*t. Let x = d - 266. Which is smaller: u or x?
x
Let f = -15.7 - -12.7. Let j = 93 - 87. Let r be (32/63)/1 - j/27. Which is bigger: f or r?
r
Let s = 74 - 67. Suppose 0 = 4*z + 3*k + 34, 2*z - 4*k - 43 = s*z. Is z <= -92/13?
False
Let x be (5/2 + -2)/((-9)/(-36)). Suppose 2 = x*r - r. Suppose 5 - r = 3*w. Which is smaller: w or 0?
0
Let l(h) = -1731*h - 10355. Let u be l(-6). Let i be 2*((-99)/(-2))/3. Is i at most as big as u?
False
Let a be (-12964)/(-918) + 357 + -371. Is a >= -1?
True
Let a = -2.284 - -2.194. Is a < 164?
True
Let p = -12 - -12. Suppose 5*q - 43 + 3 = p. Suppose -5*h + 3*h - 4*u = 92, -q = 4*u. Are h and -41 nonequal?
True
Let z be -3 - ((-4)/18 - (-2222358)/(-798372)). Let p = 5/1986 - z. Is 1 at least as big as p?
True
Suppose -73*n - 51*n + 515697 = -33*n. Which is smaller: n or 5666?
5666
Suppose 5*u = 4*u + r + 4428, 4431 = u - 2*r. Is 4427 > u?
True
Let h(f) = -4*f**2 - 6*f + 277. Let v be h(-9). Let c be 1/(-4) + 19/(-4). Let l = 5 - c. Is l < v?
False
Let f = -0.9 + 1. Suppose 0 = -3*b + 5*j + 19, -13 = -2*b + 34*j - 31*j. Let r be (-30)/(-16) - b/64. Which is smaller: f or r?
f
Let o be (4 + 6654/(-1665))*-3. Suppose 19 = t - 3*d - 0*d, 0 = t + 2*d - 14. Let r be t/24*(-6)/4. Is r at most as big as o?
True
Suppose -3*g = -214*v + 210*v + 8033, 2*v - 8047 = 3*g. Is -2687 greater than or equal to g?
True
Suppose -5*x = -2*r + 170, -2*r + 72 - 174 = 3*x. Let i be x/51*(238 + -1). Let u = i - -88. Is -70 > u?
False
Let w = -28 - -41.6. Let r = w - 5.2. Let y = r - 9.1. Which is bigger: -0.1 or y?
-0.1
Suppose -95 + 344 = 3*v. Let p = -61 + v. Is p < 13?
False
Let a = -51538/5 + 10351. Which is smaller: a or 42?
42
Let q = -34512 + 33618. Are 2/3 and q non-equal?
True
Suppose -19 + 51 = -x. Let p(f) = 23*f**2 + 9*f + 18. Let t be p(-4). Let r be x/(-56) - 256/t. Is 1 greater than r?
True
Let z be 3/((-5)/((-640)/12)). Let i be (-8)/z*(-40)/29. Which is smaller: i or 0?
0
Let g = -69 + 48. Let u(m) = -2*m**2 - 43*m - 27. Let h be u(g). Is h smaller than 0?
True
Let h(u) = -216*u**2 + 129*u - 397. Let d be h(3). Which is greater: d or -1955?
d
Let f be -4 + ((-34)/(-5) - 1/(-5)). Suppose -f = -y + 1. Suppose y*v - 3*u - 15 = 0, -2*u = v - 3*u - 3. Which is smaller: v or 0?
0
Let g = -619/60 - -119/12. Is -2.19 <= g?
True
Let n be 3 - (100/1350)/((-2)/3954). Is 149 equal to n?
False
Let d = 12036 - 11473. Is d at most 573?
True
Let o = -20098 + 20345. Which is smaller: o or 12?
12
Suppose 5*v = -3*n + 696, -441*v - 4*n = -445*v + 544. Is 129 less than v?
True
Let r = -1.6 - 8.4. Let h = r - -26. Let j = 65 - h. Is 0.1 at least as big as j?
False
Let l be (-40)/(-13) - (1 + 1). Let w be (-4)/(-30) + (-8036)/(-30). Let v = 270 - w. Is l at least v?
False
Let u be ((-6)/4)/(159/(-7208)). Suppose u*t = 101*t - 33. Which is bigger: t or -2/1045?
t
Suppose -4*o - 2708 = 4*x, -o - 2*o = -4*x - 2645. Is -667 >= x?
True
Let h = -66 + 99. Let u be (27/(-15) + 0)/(672/(-220) + 3). Are h and u non-equal?
False
Let z = 46 - 68. Let l = -21 - 91. Let c = l - -89. Which is smaller: z or c?
c
Let u(q) = -2*q**2 - 18*q + 21. Let m be u(-10). Let i be 4/10*(-125)/1400. Which is smaller: m or i?
i
Let h be (-16)/3*(-6)/4. Let q be 1/(-3) + h + (-13447)/903. Let j = 24/43 + q. Which is smaller: j or -6?
j
Let w = -172 - -177. Suppose 3*a - 4*a = 3*j + 13, 0 = -w*j - 15. Which is bigger: -6 or a?
a
Let l = -2.42 + 3.048. Let n = 0.088 - l. Let c = n - 0.46. Is -3.5 != c?
True
Let f = 197.217 - 198. Let w = f - -3.783. Is w at least -0.07?
True
Suppose 29*i - 1658 = 2053 - 13397. Do i and -333 have the same value?
False
Suppose 0 = 2*d - 3*d - 2*s + 139, 3*d = -s + 412. Suppose 0 = 6*r + 17 - d. Let z be (136/r - 6)/((-244)/(-10)). Which is bigger: -1 or z?
z
Let z be -185 + -2*5/10. Let w be (z/9)/(5/(-15)*2). Let b be -1*2/(2/(-31)). Is w != b?
False
Suppose 2*p = -0*p - 3*d, 2*d = 0. Suppose -n - 3*n - k + 46 = p, -2*n + 26 = -k. Let l be (n/915)/((-12)/30). Which is smaller: l or -1?
-1
Suppose a = 4*a - 6. Let f be -23*a/(-2 + 4). Let l be 1*(2 + (-100)/35) - (-162)/(-7). Which is smaller: l or f?
l
Let h(j) = 63*j**2 - 42*j + 43. Let a be h(1). Is 54 at least as big as a?
False
Suppose 0 = -3*b + 5*m + 445, b - 48*m - 149 = -47*m. Let u be ((-296)/(-2))/(-7 + 8). Is b at most as big as u?
False
Let q be ((-1)/1)/(3/(-9)). Let b = 8052 + -8049. Does q = b?
True
Let h = 0.22 + -14.22. Let q = -308.82 - -296.82. Is q equal to h?
False
Let j = 125 - 67. Let y = j + -88. Let b = 30.1 + y. Is 12 smaller than b?
False
Let s(z) be the second derivative of -z**5/20 + z**4/3 + z**2/2 + 2*z. Let v be s(4). Let q = 1852 + -196309/106. Are v and q nonequal?
True
Let n(w) = 7*w**2 - 2*w - 4. Let z be n(-3). Let g = 627 + -630. Let l = g - -70. Which is smaller: l or z?
z
Let f = -31 - -69. Let z = 243343 + -243306. Is z at least as big as f?
False
Suppose r - 4*k - 622 = 0, -62*r = -65*r + k + 1899. Which is bigger: 635 or r?
635
Let l = 67 - 180. Let d = l + 49. Let x = d - -65. Is -1/15 >= x?
False
Let t be 3589/(-17895) - 8/(-40). Let k = -10691/82317 + t. Let l(r) = r**3 + 2*r**2 + 3*r. Let c be l(0). Which is greater: c or k?
c
Let w = -5.271 - -5.49. Let q = w + 16.381. Is q at most as big as 1?
False
Let v = -26 + 45. Let r = v - 18. Let f be (20/(-8))/5 - 1. Is r >= f?
True
Let l = -340 - -340.844. Let t = -0.156 - l. Which is smaller: -7/3 or t?
-7/3
Suppose 12*i - 2*i - 5*b - 210 = 4*i, 0 = -b. Is 19 equal to i?
False
Let y = -77499/13 + 5965. Let b = 1393/390 - y. Which is bigger: b or 0?
b
Let x be (25/15)/5 - 8/(-3). Let o be ((x - 3)*-1)/(-5 + 3). Which is smaller: 1/24 or o?
o
Let s = -112 - -80. Let k = s + 42. Let z = k + -1. Is z > 0.3?
True
Let n = -893 - -321. Let z = 548 + n. Which is greater: z or -4?
-4
Let j be 5 - ((0 - -4) + -5). Let g be (-2)/6 + -11*68/j. Which is bigger: g or -124?
-124
Suppose -15*s - 438 - 2457 = 0. Let u = s - -1547/8. Are 3/4 and u equal?
False
Suppose 0 = 123*r + 52*r + 204*r + 82622. Let o(b) = 2*b**3 + 2*b**2 + 4*b + 2. Let i be o(-5). Is r > i?
False
Suppose -12*o + 1583 = -5341. Let f = o + -576. Let g = -619918/193 + 3212. Does f = g?
False
Let l = 7 + 2. Suppose 0 = -4*j + 5*j + o - l, -3*o = -3*j + 33. Let f = 25 + -10. Is f greater than j?
True
Let j be ((-143)/(-11))/(5 - (-30)/(-5)). Which is smaller: j or -6?
j
Suppose 5*r - 3 = 7. Suppose -2*q - 4*s = 28, -r*s = 2*s + 12. Let v be (-6)/108*-6 + (-32)/6. Which is greater: v or q?
v
Let c = 7155428/886791 +