 b, -20 = 5*u + 3*b. Is u > y?
False
Let j = 4.62 - -3.38. Which is smaller: 2251 or j?
j
Let q = -4.96 + 5.06. Let s(a) = -a**2 - 32*a + 10. Let v be s(12). Is q smaller than v?
False
Suppose -4*d + 447 = -16*w + 19*w, 3*d - 3*w = 330. Let u = d - 87. Is 23 at least u?
False
Suppose 0 = 3*r + 23*r - 20306. Suppose -2*i + 731 = r. Which is smaller: i or -23?
i
Let s be (11 + -8)*13/(-1443)*(-4)/2. Is s at most as big as 1/344?
False
Let p = -5 + 5. Let v = -455 - -297. Let b be 4/v - (1 + 7/(-7)). Which is greater: p or b?
p
Suppose 3*v - 92 = -5*o, -42*v + 39*v + 28 = o. Are o and 183 equal?
False
Let k be ((-2)/5)/(-2) + 3713374/530. Let c = 7006 - k. Is c equal to -1?
False
Suppose -16 + 48 = 4*p. Are p and 12.9 nonequal?
True
Let p = 1461/5 - 1357/5. Which is smaller: -3/2 or p?
-3/2
Let z be (205/1)/(-5) - -5. Let t be (-588)/1737 - 12/z. Which is smaller: t or 0?
t
Let n be 200/(-300)*1367/(-2). Which is smaller: 456 or n?
n
Let o(a) = 9*a + 143. Let v be o(-15). Let w be (-24)/((-3)/1)*(-76)/v. Suppose -3*k - 5 = -2*j + 230, 145 = -2*k - j. Is w bigger than k?
False
Let s be (-7 + 2)*1 - -749. Suppose -s = -10*u - 94. Suppose 239 = 4*n + 5*m, 3*m = 6*m + 15. Which is bigger: n or u?
n
Let a be -1 + 6 - 33/(-11). Suppose -a*x - d = -6*x + 5, 5*d = -x - 16. Is x <= -8/29?
True
Let m be -41*16 - (13 + -8 - 2). Is -660 greater than or equal to m?
False
Suppose 17*g - 40 = 45. Let b = 106 + g. Which is bigger: b or 110?
b
Let p(r) = r**3 + 3*r**2 - 66*r - 287. Let i be p(-6). Which is smaller: i or -1/2498?
-1/2498
Let n be 4 + (-7581)/15 + (-2)/(-30)*6. Are n and -501 equal?
True
Let b(o) = o**3 - 5*o**2 + o + 23. Let j be b(5). Let f be (-63)/162*6/j. Let z be (-3 + -1*8)*-1. Is f <= z?
True
Suppose -17*y + 5708 = 1067. Are 275 and y nonequal?
True
Suppose 39*q + 59550 = -62372 + 11786. Which is greater: q or -2823?
-2823
Let z be (390/(-249))/2 + (5 - (-34)/(-8)). Is -1 bigger than z?
False
Let s = -3140 + 3141. Is s at least 14/409?
True
Let b = 0.072 + -0.172. Suppose -4*f - 27 + 127 = 4*w, f - 2*w = 31. Let g = f - 12. Is b at most as big as g?
True
Suppose o = 4*o. Let p = -296554884/59 - -5027504. Let m = 1150 - p. Which is smaller: o or m?
m
Let s be 491/15 - ((-28)/(-6) - 6464/1212). Is s at most 34?
True
Let o = -978577/348 + 2812. Let b(n) = n**3 - 12*n**2 + 67*n - 186. Let m be b(6). Which is smaller: m or o?
o
Suppose -327*m + 329*m - 2*q = 788, -2*q - 4 = 0. Which is smaller: m or 378?
378
Suppose -15*j + 44 = -17*j. Let h be ((-132)/10)/(j/(-55)). Suppose 96 = w - 4*w. Is w smaller than h?
False
Let h = 2/5321 - 16085/324581. Let m = h + -101/427. Which is smaller: -180 or m?
-180
Let m = 190 - 298. Is m greater than or equal to -1?
False
Let w = -3205 + 3123. Which is bigger: -5 or w?
-5
Let v = 22988 - 19584. Which is greater: 3403 or v?
v
Let y = 7 + -80. Let q = -67 - y. Let t be 7 + (q*-2)/4. Is t > 1?
True
Let r be (-257)/(-1578) + 4 + (-450)/108. Which is greater: r or -1?
r
Let k = -15 + 9. Let l = 7 + k. Let d be -3 + -1 - (-44)/(-22). Which is greater: l or d?
l
Suppose 0 = -37*t + 28*t - 2862. Let q = t + 743. Which is smaller: 426 or q?
q
Let w(s) = 272*s**2 - 62*s - 63. Let l be w(-1). Which is smaller: l or 269?
269
Suppose 639*c - 32 = 631*c. Suppose x + 4*j - 142 = 0, -398 = -c*x - j + 140. Is x != 132?
True
Let r(w) = -2*w**2 - 17*w**2 + 66*w + w - 35 + 17*w**2. Let g be r(33). Do -2 and g have different values?
False
Let c = 633 - 271. Let t = c + -409. Is t at least as big as -49?
True
Let b be 2748/276 + -10 + 127170/69. Which is greater: b or -3?
b
Suppose -y + 7 = 4. Suppose -y*h + 12 = -5*b - 32, 4*b = 4*h - 72. Which is greater: 21 or h?
h
Let l(q) = 107*q - 3724. Let p be l(35). Let m = -41 - -21. Let u = m + p. Is u <= 2/59?
False
Let m = 6395 - 6335. Which is bigger: 783/13 or m?
783/13
Suppose -2*y = -2, -5*z + 21 + 182 = 3*y. Suppose -z*x - 53 = 27. Which is smaller: 12 or x?
x
Let z be -2 + 1 + -1 - (51 + -2048). Do z and 1996 have the same value?
False
Let u be -4*(-5 + 258/(-12)). Let p = u + -118. Which is greater: -2 or p?
-2
Suppose -1908 = -1505*d + 1514*d. Let c be 3*(6 - d/12). Which is greater: c or 76?
76
Suppose 5*y + 64*i - 63*i = -14327, 5*y + 14367 = 4*i. Is y > -2863?
False
Let z = -1495.3 - -1495.0442. Which is smaller: z or 1?
z
Let d be (-9)/3 + 0 + -1. Let g be ((-5)/2)/(50/(-80)). Suppose -g*h = 24*h. Which is greater: d or h?
h
Let u = -0.02 - 0. Suppose -4*q = -40, -114*g + 116*g = 5*q - 78. Which is smaller: u or g?
g
Suppose 5*n + 0*n = 165. Let k = -1 + n. Let m = 189270 - 189235. Are m and k equal?
False
Let j = -399147/8 + 49893. Let a be 3 + 1/(0 + -1). Suppose -a*d = -d. Is j less than d?
True
Let z = 3.3558 - -0.6442. Is z greater than 0.434?
True
Let o be 135/300 - (-3)/10. Which is smaller: 0 or o?
0
Let f = -0.127 + 0.029. Let h = 1.098 + f. Which is greater: -105 or h?
h
Let k = -0.12148 + -3.28852. Do k and 8 have the same value?
False
Let a be -2 - (-41)/(-39) - -3. Let f = 0.10911 + 0.09089. Do f and a have the same value?
False
Suppose -28*x + 3 = -25. Suppose -14 = 4*u - 2*o, u - 4*o + o + x = 0. Is u <= -20/7?
True
Let v = -0.013 - -155.013. Let x = -89 + v. Let q = -64 + x. Which is smaller: q or -0.04?
-0.04
Let o be ((41 + -1)/(-4))/(-2). Suppose 0*l + l - 395 = 4*i, -2*i - 211 = -o*l. Which is smaller: -99 or i?
-99
Let r = -13/5 - -3. Let a = -5.1 - 33.9. Let p = a - -39.16. Is r at most p?
False
Let a = -491.07 + -9.93. Let v = a - -405. Is v at most -1?
True
Let i = 9269 - 9312. Which is smaller: 24 or i?
i
Suppose -5*x - 8595 = 2*r, -5*r + 15*x - 4*x - 21605 = 0. Is -4311 < r?
True
Let g = -6 - -51. Let q = g - -64. Is 110 greater than q?
True
Let z = 0.98 - -0.32. Let c = -81 + 481. Let p = -403 + c. Which is bigger: p or z?
z
Suppose -6 = -3*b - 2*p, 3*b - 8 = -b - 3*p. Suppose 5*c + 6 + 3 = -3*x, -7 = -b*x + c. Suppose -x*m - i = 13, 2*m + 6 = i - 13. Is -7 less than m?
False
Let l(c) = -c**3 + 4*c**2 + 10*c + 11. Let s be l(6). Let z = -4922 - -123041/25. Is z > s?
True
Let n = 109 + -85. Let q be (6/n)/((-5)/750). Which is smaller: q or 0?
q
Let z be ((-1)/(-11))/((-150)/(-15335)) + (-1)/(-10). Are z and 9 equal?
False
Suppose -4 = r + m, -4*r - 3*m - 16 = -0*m. Let u(f) = f**2 + f - 11. Let x be u(r). Which is smaller: x or 1/25?
1/25
Let m = -4881 + 4881. Which is smaller: m or -84/355?
-84/355
Let i be ((-10)/961)/((-770)/44 + 18). Which is smaller: -1 or i?
-1
Let g be (4 + 2)/(((-280)/(-612))/(-35)). Which is smaller: -478 or g?
-478
Let p be (-3289)/(-77) + ((-18)/(-14) - 1). Let c = p + -53. Let j be (-11 - c)/(37/2). Which is greater: j or -1?
j
Let b = 640076/99 - 54466/9. Are b and 415 non-equal?
True
Let l be -1 + 2 - 118/(-2). Suppose -5*o - 170 = l. Suppose -904*q + 10465 - 13715 - 37430 = 0. Which is smaller: o or q?
o
Suppose 2*z + 35 = -0*z - l, z - 5*l = -23. Is -496/29 bigger than z?
True
Let n = -0.14 - -0.34. Let m = -72 - -74.946. Let g = 0.054 + m. Is g < n?
False
Suppose 0 = -4*m + 3*m - 5*v + 70, 280 = 4*m + 5*v. Let f be (-6)/((-15)/5)*2/m. Which is smaller: f or -1?
-1
Let g(w) = -w - 17. Let f be g(-19). Suppose 0*q = f*q - 10. Suppose -z + 2*z + 3 = -m, 0 = -q*m + 5*z + 15. Which is smaller: m or 8/7?
m
Let m = 163 + -171. Let d be (35/(-10) + 3)*m. Which is smaller: d or -0.36?
-0.36
Suppose 2*l + 8 = -0, -5*i = 3*l + 1652. Let q = i - -350. Which is bigger: q or 25?
25
Let n = 781 - 320. Let r = n - 471.3. Is -1/3 less than r?
False
Let z(h) = 55*h - 12. Let n be z(2). Which is bigger: n or 91?
n
Let o(z) = 4*z**2 + 67*z + 20. Let a be o(-17). Let r(c) = c**3 - 4*c**2 - 5*c - 4. Let x be r(6). Which is bigger: x or a?
x
Let q(d) = 3*d**2 + 14*d + 9. Let k be q(-4). Let x be 1 - -31*((-10)/(-298))/(-1). Is k >= x?
True
Let p be 2/3 - 52/6. Let b be (-8)/10 + 324/(-45). Let r be (-6)/b + 310/(-40). Is p < r?
True
Suppose -21*i - 70*i = 36*i + 68*i - 45*i. Let l = 21333 - 12010482/563. Which is smaller: i or l?
l
Let q = 22270288 - 4609980530/207. Let d = q - -1330/9. Which is smaller: -1 or d?
d
Let a = 22 + -37. Suppose 3*t - 2*s + 43 = 0, -2*t + 18*s - 15*s = 32. Is t < a?
False
Let o be ((-6)/(-8))/((-24)/(-128)). Suppose c - 2*z = -0*c + 68, -o*c = 4*z - 224. Let p = 70 - c. Is p greater than 11?
False
Let g