s a smaller than -1?
False
Let c(u) = -u**2 + 10*u + 13. Let l be c(11). Let d be (l/8)/(25/100). Is d >= -1/3?
True
Let a = -4667 + 4464. Is a greater than -206?
True
Suppose -104 - 269 - 299 = -24*n. Which is bigger: n or 29?
29
Let m = -461 + 601. Which is bigger: 78 or m?
m
Let p(g) = -g + 2. Let a be p(2). Let v be (62 - 71)*(-3)/((-18)/8). Let z be ((-4)/(-10))/(v/((-900)/2895)). Which is smaller: a or z?
a
Let j = 152813/16 + -9551. Which is greater: j or 279?
279
Suppose -f - 5*w - 3040 = 1690, -9460 = 2*f - 2*w. Is f at least -4729?
False
Let k = 9984884/485991 + 2/44181. Which is smaller: k or 21?
k
Let z be 2/(-3*(7 - 117485/16785)*3). Which is bigger: z or -382?
z
Let g be ((-1)/((-28)/(-24)))/((-1)/7). Suppose 0 = g*m + 41 - 125. Suppose -m*r = -9*r + 80. Which is greater: r or -14?
-14
Let y(z) = -z**3 - 12*z**2 - z + 1. Let p be y(-12). Let i = p - -12. Let d be ((-3)/i)/(1/(-5)). Which is smaller: 0 or d?
0
Let n be ((-690)/90)/(2/(-6)). Suppose -2*d = -3*t + 20, -2*t = t - 5*d - n. Is 53/9 less than t?
True
Suppose 0 = -4*y + 5*x + 50, 9*y = 4*y + 4*x + 67. Suppose -w = -6*w + y. Suppose -5*b - 10 = 3*a, b = -w*a - 13 - 1. Are 4/5 and b equal?
False
Suppose -j - 5039 = -4*m, 6*j - 3*j - 3 = 0. Let b = 2301/2 - m. Are b and -109 non-equal?
True
Let k be 5/15 - 2686/102. Which is smaller: k or -36?
-36
Suppose 5*w = -g + 4, g + 4 = -3*g. Let q be (w - 1)*(-8 + 7). Let y = -412759/138 + 2991. Which is bigger: q or y?
q
Let j = 75 + -202. Let i be (-28)/70 + (-15192)/120. Is j smaller than i?
False
Let c(t) = -9*t - 33. Let n be c(-4). Suppose d + n*s = -2*s + 19, 5*s = 10. Suppose 3*z + 5*m - 10 = 3, 0 = -5*z - 2*m + d. Which is smaller: z or 2/57?
2/57
Let b be 17/(-33) - 2/(-264)*3*8. Are 0.715 and b unequal?
True
Let c be -2*333/(-16) + -2. Let u = 1329/40 - c. Suppose -12*x = 4*x + 96. Is x smaller than u?
False
Suppose -2*y - 5*y = -4*y + 36522. Which is smaller: -12173 or y?
y
Let i = -6236 + 6274. Which is smaller: i or -0.01?
-0.01
Let o be 1/(-3 - 6/(-3)). Let y be -83 + (o - (2 + 2)). Which is bigger: y or -86?
-86
Let b = 0.3539 + -335.3539. Which is greater: b or -1/3?
-1/3
Suppose -5*d = 10 - 35. Let r = 1547 + -1463. Suppose -3*h - i + 49 = 0, -i = -d*h - 5*i + r. Is 14 bigger than h?
False
Let j(d) = d**3 - d**2 + 8*d - 7. Let o be j(1). Do 58/79 and o have the same value?
False
Let n(z) = -6*z - 2. Let s be n(2). Let a(y) = -3*y**3 + 15*y**2 - 10*y - 1. Let t be a(4). Let b be (-4)/s + (-86)/t. Which is smaller: b or -15?
-15
Let o be (14*2/4)/(8/(-106)). Let n = 249/4 + o. Let m = -30 - n. Which is smaller: m or -17?
-17
Let k = 351 + -89. Let b = k - 240.8. Let x = -21 + b. Which is smaller: x or 7?
x
Let p = -40 - -79. Let i be p/(-15) + 4/(-10). Which is smaller: -30 or i?
-30
Let t = -9010.12 - -9010. Which is bigger: t or -2/59?
-2/59
Let t = -206 + 53. Let h be (7 + (-80)/12)*t*1. Which is bigger: h or -53?
h
Let h(d) = -31*d + 10. Let t be h(-10). Suppose -4*x + b = 265, 0*x - b = 5*x + t. Let f = x + 261/4. Is -2/27 greater than or equal to f?
False
Suppose 3*j + j + 16 = 0. Suppose -41 + 14 = -27*b. Let o be (-13)/156*0 - b*4. Do j and o have the same value?
True
Let k = 23 - 19. Suppose 4*d + 8 = s, 5*d + 68 = 3*s + k*d. Let j be ((-12)/s)/(2/(-44)). Which is bigger: 32/3 or j?
j
Let b(c) = c**3 - 3*c**2 + 4*c. Let o be b(5). Suppose -s - o = -5*h, 5*h + 15 = -s - 5. Is -2 at least s?
True
Suppose 2*h + 9 + 1 = 0. Let n = -12 - h. Let u be 3460/(-519)*6/8. Is u > n?
True
Let d be 102201/(-157132) - (-3)/4. Which is smaller: 0 or d?
0
Suppose -2*r = -6*r + 4*x, -3*r + x = -10. Suppose -3*w - r*a + 361 = 0, 5*a + 6 - 494 = -4*w. Let c = w - 892/7. Which is bigger: c or -5/2?
c
Let g be ((-1149)/(-190))/(-3) + 2. Let z be (-20752)/2660 + (11 - 3). Let u = g - z. Is u less than 1?
True
Let v = -7274122193/19719 - -368889. Which is bigger: -1 or v?
v
Let y be ((-696)/(-812))/(6/14). Suppose -4*i + y*i - 15 = 5*m, 0 = -3*m - 4*i - 23. Is m < -1/372?
True
Let s = 0.39 + -0.17. Let i = s - 3.02. Let v = -0.2468 + 0.3468. Is v greater than i?
True
Let m be (2/(-10) - 0)*17. Let y be -18 - (-5)/(25/(-15)). Let a be 182/(-49) + 6/y. Which is greater: a or m?
m
Let z be 144/(-189)*27/6. Let f(b) = b**2 - 2*b - 4. Suppose 5*g = 4*g. Let j be f(g). Are j and z non-equal?
True
Let r be 7/21*3/19. Let d(b) = -8*b - 21. Let l be d(-3). Suppose l*p + t + 1 = 0, 7*t - 3*t = -16. Which is bigger: p or r?
p
Suppose 147 = -1487*j + 1466*j. Which is bigger: j or 28?
28
Let r(c) = 7*c**2 + 12*c - 9. Let z(l) = -l**3 + 5*l**2 + 15*l - 2. Let x be z(7). Let t be r(x). Are 224 and t equal?
False
Let o = 52 + -41. Suppose 5 = -2*r - o. Let h(x) = 2*x + 16. Let n be h(r). Is n at least -6?
True
Let p = -2456 + 2456.04. Which is smaller: 41 or p?
p
Let o be (9/216)/((-11)/66). Which is greater: o or 33/4?
33/4
Let h = 851140 + -11071510/13. Are -514 and h equal?
False
Let h = 4.22 + 4.08. Let v = -117.3 + h. Does v = 0.1?
False
Let i = 33/52 - 5/13. Do -462 and i have the same value?
False
Let m = -5528409/395 - -13996. Is m less than or equal to 1?
True
Let p = 20.714 + -20.62871. Is 1/4 bigger than p?
True
Let l(n) = -n**2 - 17*n - 96. Let f(h) = -h**2 - 20*h + 38. Let j be f(-22). Let a be l(j). Is -25 bigger than a?
True
Let m be 6/(-3) + 3 - (-39823)/(-39857). Let p = m - -501519985/757283. Let v = -662 + p. Which is greater: -1 or v?
v
Suppose 16*p + 849 + 476 = -147. Is -461/5 <= p?
True
Let t = -8296 + 8296. Is t greater than or equal to 3?
False
Let m = -18868 + 18873.707. Is m >= 0.3?
True
Let q = -0.151 - 0.849. Let p = -0.512 + 0.61. Is p equal to q?
False
Let s = -11749/70 - -925/7. Is s greater than or equal to -35?
False
Let j = -16/17 - -434/425. Let p = -1032 + 1033. Which is bigger: j or p?
p
Let w = 0.104 + -59.104. Let t = 11.915 - -0.085. Let i = -11 + t. Which is smaller: w or i?
w
Let o be (19/2)/((-5265)/(-3888)). Is 7 not equal to o?
True
Suppose -b - 2*n + 17 = -0*n, 5*b - n - 118 = 0. Let j = -41 + b. Which is bigger: j or -28?
j
Let w = 0.724 - 1.504. Let k be (-60)/(-35) + -1 + -1. Which is smaller: w or k?
w
Let l = -28981 - -35999. Is l less than 7017?
False
Suppose 21 - 48 = -9*z. Suppose 5*k + 2*d + 107 = 0, z*k = -3*d + d - 65. Which is bigger: k or -6?
-6
Let k(z) = z**3 + 9*z**2 + z + 4. Let c be k(-9). Let x = 1/11558 + -589469/127138. Are x and c nonequal?
True
Let h = -0.09 - -0.09. Let v be (-100)/125 - (5 + 3010/(-325)). Which is greater: h or v?
v
Let p(z) = -6*z**3 - 2*z**2 + 3*z - 4. Let g be p(4). Let i be (-1740)/9*(-3 - -2)/g. Let s = i - -1/34. Which is smaller: 1 or s?
s
Let k(t) = -8*t**2 - 6*t - 26. Let d be k(7). Let w = 459 + d. Which is smaller: w or -2/1317?
w
Suppose -3*w + 0*w = -4*h - 13400, 5*h = -3*w - 16723. Which is greater: -3346 or h?
-3346
Let q be 1184/28 - (-2)/(-7). Suppose 5*r - 13 + 1 = -3*z, 0 = 3*r. Suppose -u + z = -37. Are q and u equal?
False
Let h(m) = -3*m + 23. Let s be (-1)/((-3)/8)*(-15)/(-2). Let v be (-64)/(-10) - 8/s. Let c be h(v). Are c and 4 non-equal?
True
Let j = 1565 + -4185. Let i be j/90 + 11 + 1*5. Which is greater: -14 or i?
i
Suppose -26*l + 103 = -131. Let p(g) = -8*g - 1. Let z be p(-6). Suppose -5*y + 15 = c, -3*y = -6*c + c + z. Do c and l have the same value?
False
Suppose -10 = -41*x + 39*x, 3*x = -4*u + 3175. Which is bigger: u or 7106/9?
u
Suppose -2*j = -4*b - b + 12, 2*j = 4*b - 10. Let i(o) = 5*o**2 - 14*o**b - 49*o + 10 + 11*o**2. Let z be i(24). Do -8 and z have the same value?
False
Let j = -1221 - -1053. Do j and -171 have different values?
True
Let w = 4.07 - 1.47. Let s = -37.4 - w. Is 2 at least s?
True
Let v be (-2)/8 + (-90)/(-168). Let d = v - 24/35. Let b be 3*1*48/9. Which is bigger: d or b?
b
Let a(s) = 18*s + 110. Let c be a(-6). Suppose 2*n = -c*t - 59 - 7, -133 = 4*n + 5*t. Which is bigger: n or 0.2?
0.2
Let x(v) = 116*v + 2412. Let u be x(-21). Which is greater: -12 or u?
-12
Let s = -126 - -106. Let l = 29 - s. Let q = -64 + l. Is -2 less than or equal to q?
False
Suppose 3*p = 2*r + 14, -3*p - 2*r - 3 = -25. Let f be ((-56)/609)/(-2*(-1)/p). Is 0 equal to f?
False
Suppose 0 = -g + 2*h + 13, 3 = -6*h + 5*h. Which is smaller: -21 or g?
-21
Let a = 103/36 - 17/6. Suppose -2*x + j = 145, 2*x - 20*j = -25*j - 1