7 + 19. Suppose 0 = y*x - 20 + 18. Let r be x/(14*(-1)/4). Is r smaller than 1?
True
Suppose -6*t = -2*t - 2*t. Are 4/343 and t equal?
False
Suppose 0 - 2 = x. Let o be x/(-3) - (-20)/15. Suppose -4*w + 2 = -o. Which is smaller: w or -0.02?
-0.02
Let d be -1 + 6/(4 - 6). Let t be (d/10)/((-890)/(-50)). Let x = t - 81/356. Which is greater: x or -2?
x
Let d(o) = -o**2 - 2*o - 1. Let g be d(-1). Let l(y) = y**3 + y**2 + 3. Let n be l(g). Suppose -4*q + 3*r = -7, -11 = n*r + 4. Is -5 equal to q?
False
Let v = -97 + 58. Is v bigger than 1/3?
False
Let n be -5*(-12)/(-16)*-8. Suppose -3*a + 5 = -5*s - n, -3*a = -s - 19. Let h be s/(8/(-2)) - -4. Which is smaller: 3 or h?
3
Let k(y) = y**3 + 19*y**2 + y + 20. Let d = -48 + 29. Let z be k(d). Let u be (4/(-6))/((-74)/6). Which is bigger: z or u?
z
Let v = -0.2 + 0.26. Let c = 0.54 + v. Which is bigger: c or -1?
c
Suppose -712*y = -708*y. Do y and 8/101 have the same value?
False
Let r = 2710 + -84026/31. Let t = r + 730/93. Which is smaller: t or 8?
t
Suppose h + 7*x - 12*x = 24, -4*h - 2*x - 14 = 0. Is h greater than or equal to -6/11?
False
Let p = 0.2 - 6.2. Suppose 4*x = 4*z + 20, 4*z - x + 24 = 2*x. Let b be (-10)/3 - z/3. Is p <= b?
True
Suppose -w + 5*w = -196. Let d be (w/(-21))/((-2)/6). Suppose -p - 4*p - 30 = 0. Which is smaller: p or d?
d
Let j = -18.7 - 3.3. Let v = 12 + j. Let g = -10.1 - v. Is 1/3 < g?
False
Suppose -1 = 2*q + 9. Suppose -b + 4 - 1 = 0. Let o = b + q. Is o less than or equal to -5?
False
Let i(u) = -u**3 - 16*u**2 + 15*u + 7. Let y be i(-17). Let x = 40 - y. Which is bigger: x or -9/14?
-9/14
Let t = -80.2 + 81. Which is greater: t or -1/3?
t
Let p(b) = -b**3 + 5*b**2 - 6*b + 2. Let o be p(3). Let d = -12 - -17. Let a(w) = -w**3 + 5*w**2 - w + 5. Let h be a(d). Do o and h have the same value?
False
Let q be (11/(-77))/(390/7). Which is smaller: -1 or q?
-1
Let z be (-16)/12 + 6/18. Is z <= 5/44?
True
Let d = 91 + -97. Let u be (-3)/((150/(-18))/((-2)/d)). Which is smaller: 0 or u?
0
Suppose -520*u + 511*u + 387 = 0. Which is smaller: 44 or u?
u
Let z be 45/105 + 1612/(-560). Which is greater: -1 or z?
-1
Let z be (-16)/(-1152)*(-3)/24*1. Is 0 equal to z?
False
Let o = -81 - -408/5. Suppose 0 = 4*r - r. Is o at least as big as r?
True
Let u be 11*6*(7 - (-1 + 6)). Let a be u/9 + 4 - 4. Is 15 not equal to a?
True
Let l = -1462 - -24862/17. Let r(z) = 15*z**2 - 299*z - 20. Let c be r(20). Are l and c nonequal?
True
Let u(i) = i**2 - 74*i + 181. Let f be u(0). Which is bigger: 179 or f?
f
Let m = -2.1 - -1.78. Let o = -35 - -35.02. Let k = o + m. Is -3 at most k?
True
Let g = 991 - 1033. Let o(j) = j**3 - 8*j**2 + 9. Let k be o(7). Is k >= g?
True
Let c be (-4)/(-42) + 8814/63. Let y = -140 + c. Which is greater: 8/51 or y?
8/51
Let l be (((-9)/(-1))/108)/((-6)/(-320)). Which is smaller: 5 or l?
l
Let o be (-4 - -4) + -1 + 0. Let t be o*(-132)/(-28) + 4. Is 1/4 greater than t?
True
Let v be -2 - ((-913)/44)/((-2)/(-12)). Let s = v + -127. Suppose r - 2*r - 4 = 0. Is r > s?
True
Let g(x) = -15*x - 1. Let z be g(-3). Let q be ((-55)/z)/(-1 - 1/(-4)). Is 3 smaller than q?
False
Let y = 110.96 - -0.04. Let g = -110.9 + y. Does g = -0.08?
False
Let h be 126/8 + 2/8. Let j = 16 - h. Is j not equal to -1/3?
True
Let r(n) = n**3 + 4*n**2 - 5*n + 12. Let u be r(-5). Let v(o) = 9*o - 54. Let k be v(u). Is k > 55?
False
Let j be -10*2/4 - (-109)/4. Which is smaller: 21 or j?
21
Let g be ((-12)/5)/3 - (-1602)/890. Let b be ((-2)/(-4) - 0)*20. Let i be 6/b*2/(-3). Do i and g have different values?
True
Suppose -4*n = 36 - 24. Let f be 8/(-20) + n/5. Which is smaller: f or -1/7?
f
Let j = 0.26 - 0.7. Let v = -0.24 - j. Which is bigger: v or -0.03?
v
Let c(q) = 9*q - 1. Let g be c(-1). Suppose 92 - 1 = -13*t. Is t <= g?
False
Let n = 152 - -156. Let w = n + -3386/11. Does 20 = w?
False
Let s(t) = 18*t**2 - 3*t + 2. Let g be s(1). Let l = g - 17. Let a = 25/78 + -2/13. Is l smaller than a?
True
Suppose 4*a - 122 = -2*o + 110, -165 = -3*a + 3*o. Suppose 5*c + a = 4*z, -4*c = -6*z + 2*z + 48. Which is bigger: -10 or c?
c
Let l be 4*((-13)/4 - 6/(-2)). Suppose 0 = -n - n. Is n smaller than l?
False
Let o(h) = -6*h**2 + 2*h**3 + 6*h**2 - h - 7 - 5*h**2. Let v be o(5). Let w = -455/4 + v. Is -1 at most as big as w?
True
Let i = -1492 + 643. Is -851 bigger than i?
False
Let z be ((-28)/(-1239))/(10/(-15)). Let r be 1/((-2 + 0)/2). Are z and r unequal?
True
Let y = 55/78 + -8/39. Let q(k) = k**2 + 3*k - 1. Let u be q(-4). Let x be -1 + (u/(-3))/(-1). Which is greater: x or y?
y
Let i(g) = -g**3 + 7*g**2 + 7*g + 5. Let z be i(8). Let n be (6/2 + (-42)/16)/z. Is -1 greater than n?
False
Let f be ((-72)/10)/(30/(-225)). Let t = -22 + f. Is 33 not equal to t?
True
Let h = 13.9 + 1.1. Let j = h + -17. Let v = -3 - j. Is -5/4 > v?
False
Suppose 0*u - 4*n = 2*u - 32, 5*n + 4 = 3*u. Suppose u = -2*s + s. Let a = 0 - 8. Is a at least s?
True
Let o = -3 + 81. Let r = o - 65. Which is smaller: 7 or r?
7
Suppose 5*s - 151 + 622 = 4*u, -4*u - 4 = 0. Let b be 25900/(-275) - 2/(-11). Which is greater: s or b?
b
Let y = -0.144 + -0.056. Let g = 0.6 + -0.6. Let u = g + -2. Which is bigger: u or y?
y
Let u(a) = -a**3 + 12*a**2 + 4*a - 36. Let i be u(12). Are i and 4 equal?
False
Let j be -3 - -7 - (-602)/(-84). Do -0.1 and j have the same value?
False
Let m be (0/((-6)/3))/(-33 + 35). Are 278 and m nonequal?
True
Let m be (-2)/(-5) - (-3)/5. Let w be (-42)/10*(-160)/480. Does m = w?
False
Let q be -2 + 1/2 - 580/8. Which is smaller: q or -72?
q
Suppose 1115 = 12*b - 4117. Which is bigger: b or 435?
b
Let p be (42/37282 - 0)/(1 - 4). Is 1 greater than p?
True
Let y be 1 - (-9)/(-6)*1010/1509. Which is smaller: y or 1?
y
Let m = 183 + -181.42. Let c = 0.42 + m. Which is smaller: c or 0.1?
0.1
Let l be (1 - 1)*(8 + -9 + 0). Let x = 19 - 13. Suppose -4 = 2*s - x*s. Which is smaller: l or s?
l
Let a(f) = -2*f - 12. Let j be ((-42)/(-4))/7*-2. Let s be a(j). Is s != -8?
True
Suppose -5*u - 1 = -3*p + 11, -p + 4 = -u. Which is bigger: u or -14/39?
u
Let d = 50 + -87. Let y = 37.7 + d. Which is smaller: y or 1/2?
1/2
Let h be (12/(-5))/((-4)/(-390)). Which is smaller: h or -235?
-235
Let d be 0 + (4 - 4)/(-9). Which is greater: 21/43 or d?
21/43
Let q = 15.3 + -15. Let j be 20/(-24)*3/5. Which is smaller: q or j?
j
Let u(h) = h**2 + 5*h - 127. Let m be u(9). Suppose -k + 2*n + 3 = 2, -5*k - n - 28 = 0. Let r be (-32)/(-140) - 1/k. Is r at most m?
False
Suppose 0 = -4*v + 8*v + 56. Let h = -10 - v. Is -1 <= h?
True
Let x(n) = n + 1. Let r(f) = 28*f + 63. Let g(k) = -r(k) + 35*x(k). Let y be g(16). Which is smaller: y or 85?
y
Suppose 10*y + 8*y = 342. Which is bigger: 23 or y?
23
Let n(x) = -2*x**2 + 2*x + 2. Let h be n(2). Let c be 1/(-1) + h - 0. Let p be ((-4)/c)/(13/117). Is p less than 12?
False
Let i be 13/(3/6*2). Let k be i/(-6) - 5/(-30). Is k at most as big as 1/2?
True
Let g be (6/52)/(1/2). Suppose -5*k = -2*k + 3. Which is greater: k or g?
g
Let b be 804/10*(-1 + 23/3). Let w be 20/(-30) + b/813. Which is bigger: w or 1?
1
Let q = -118 + 824/7. Which is greater: -15/13 or q?
q
Let j = -5/59 - -1844/177. Which is smaller: j or 11?
j
Suppose r + 4*r = -40. Let h = r - -37. Is h bigger than 30?
False
Let w = -16375969/112 + 146215. Let d = -73/16 + w. Let g = 482/133 + d. Is g >= 0?
True
Let p = -39.32 + 39. Let w = 2.788 + -0.108. Let d = w - p. Which is bigger: -2/9 or d?
d
Let w be -6 - ((-7)/(-1631) + -6). Which is greater: w or -1?
w
Let c be (-372)/(-120) - (-6)/4. Let t(k) = k**3 - 5*k**2 - 2*k + 6. Let p be t(5). Let z be (-1 - -2)/(p/(-20)). Which is greater: c or z?
z
Let z(k) be the first derivative of 4*k**2 + 45*k - 21. Let b be z(-13). Is -59 at most as big as b?
True
Let h = -74 - -72. Let m = -59/4 + 15. Is m greater than or equal to h?
True
Let v = -38 - -38.42. Let i = v - 0.29. Is i at most 1?
True
Let c(k) = 182*k**2 - k + 1. Let v be c(2). Let i = -8002/11 + v. Is 1 >= i?
True
Let a = -21 - -33. Suppose -2*m + 0 = a. Let l(r) = -r**2 - 8*r - 5. Let f be l(-8). Which is bigger: f or m?
f
Let t(s) = s**2 + 8*s + 41. Let b be t(-6). Is -2 equal to b?
False
Let o = 232/3 - 81. Let m = -54 - -49. Is m bigger than o?
False
Suppose 0 = 2*h - 2*b - 14, 10 = -5*b - 5. Is h greater than 40/9?
Fal