q - 152. Is -10 not equal to x?
True
Let u be 1/3*(5 + 4). Suppose -4*h - h = 20, -u*g + 5*h = -41. Let n be (-1 + (-308)/49)*g/4. Is -14 at least as big as n?
False
Let b(f) = -9*f - 6. Let u be b(-1). Let c be (u + (-147)/35)*30. Which is bigger: c or -178/5?
-178/5
Let d = 2917 - 3116. Are d and -200 nonequal?
True
Suppose -5*b + 3*b = -372. Let p be 22 + -23 - (b - -1). Is -188 smaller than p?
False
Let p = -41000 - -40999. Which is bigger: 12/1127 or p?
12/1127
Suppose 9 = 89*x - 87*x - p, -3*p - 21 = 0. Let q be (-257)/128 + -5 + 7. Which is greater: x or q?
x
Let g be ((-6)/208)/((-9)/(-6)). Let h be -10 + (80/360)/((-2)/(-90)). Is g bigger than h?
False
Let d = -53 - -31. Let x = d - -23. Is 14.8 at least x?
True
Let o = -6883 - -7564. Which is greater: o or -0.1?
o
Suppose 0*k + 3*k - 135 = 0. Let q(s) = s**3 + 79*s**2 - 79*s + 125. Let a be q(-80). Is a less than k?
False
Let h be 5/2 - 1/2. Suppose -h*m + 249 + 53 = 0. Which is smaller: m or 152?
m
Let w = -11 - -20. Let y(x) = -19 + 9*x**2 - 3*x**3 + 2*x**3 + x + 0*x**3. Let r be y(w). Is r equal to -9?
False
Let h = -4610 + 4610.003. Which is smaller: h or -5?
-5
Suppose y + 2*k = 5*y - 32, 24 = 3*y - 5*k. Let l be -1 - (4/(-16) + (-462)/y). Are l and 57 nonequal?
False
Let l = -562 + 388. Let w = -173 - l. Which is bigger: w or -2/179?
w
Suppose 0 = 57*v - 53*v + 104. Let z be ((-6)/v)/((-390)/30). Is z < 0?
True
Suppose -2 = -4*p - 14. Let b = 3.76 + -2.9. Let t = b - 0.86. Which is bigger: t or p?
t
Let i = 297 - 165. Let c = 133 - i. Let u = 30 + -30.05. Does u = c?
False
Let d be 1*(-3678)/6 + 1. Let a = 690 + d. Which is greater: a or 77?
a
Let k be 1299474/(-1386) + (22/14 - (1 - 0)). Which is bigger: -936 or k?
-936
Let p = -14 - -21. Let x = p + -1. Let j(l) = -14*l + 28. Let t be j(2). Is t smaller than x?
True
Suppose 49537 = -5*q - 2*c, -10*c + 9*c = 4*q + 39626. Which is smaller: 1 or q?
q
Suppose -3*b + 0*b = 33. Let m(o) = -o - 20. Let f be m(b). Is f equal to -9?
True
Let j = 2615281/11 + -237751. Let v = -2 + 2. Suppose 2*g - w - 9 - 1 = v, w - 5 = -3*g. Is j less than g?
True
Let n = 5445 - 5446. Do -64/39 and n have the same value?
False
Let l = 31139/2540 - 6/635. Is l bigger than 11?
True
Let m be 202/6*3/(-2). Let j be 3/(9/(-151)) - (6725/75 - 90). Are j and m unequal?
True
Let k = 1022.8 + -1023. Which is bigger: 1/39 or k?
1/39
Let g be 296/(-10) - (60/25 - 2). Let t be (15/306)/(0 + (-14)/g). Let r = t - 3/17. Which is smaller: r or 0?
r
Suppose 154 = 9*x - 116. Suppose 0 = x*a - 376 - 644. Which is smaller: a or 36?
a
Let v = 3340 + -3125. Let q be 2/6 - 2550/12. Let r = v + q. Are r and 3 nonequal?
True
Let u(q) = 4*q**2 + 254*q + 132. Let h be u(-63). Let s = -3153981/7 - -449676. Let r = 899 + s. Which is bigger: r or h?
r
Suppose 3*p = -43*p - 1104. Which is bigger: -29 or p?
p
Let n = 2 - -15. Let a(i) = i**2 + i - 3. Let z be a(0). Let t be 5/(30/126) + z. Is t smaller than n?
False
Suppose -d - 7*h - 13070 = 0, -d - 66*h = -63*h + 13094. Does d = -13112?
True
Let i be (4048/(-1472))/((-11)/2). Are -397 and i nonequal?
True
Suppose -5*g - k + 4 = 9, 5*k + 25 = 0. Let j(c) = -c - 7. Let o be j(g). Let u(s) = -s**3 - 8*s**2 - 8*s - 2. Let l be u(o). Which is smaller: 7 or l?
l
Suppose -q = -2*v + 274, 3*q - 2*v - 3*v = -817. Let o be -8 + q/143 + (-4)/26. Which is smaller: -3/8 or o?
o
Let p be (-649)/(-495) + 300/(-270). Let w = -0.06 + 0.1. Let v = w + -0.15. Do p and v have different values?
True
Let h be ((-3)/6)/(1/(-2)). Suppose -5*t + h + 4 = 0. Let z = 3869 - 3865. Which is smaller: z or t?
t
Let v = 6785493/167276 - 2880/71. Is 1 <= v?
False
Suppose 2*j - 4*q + 86 = 0, -4*q + 150 = -3*j + 27. Suppose -3*n = 20*n + 3910. Let t = n + 134. Which is bigger: j or t?
t
Suppose 52 = -0*o - o. Let i be 49 + -44 + -16 + 86/(-2). Are i and o nonequal?
True
Let p be -3*((-24)/6 + -13). Let l be ((-289)/p)/((-1)/(-3)). Let o = -68 - l. Which is greater: o or -50?
-50
Let h = 33.7 - 34.7. Which is greater: h or 1.071?
1.071
Let j be (-10030)/(-119) - 8/28. Suppose -3*h = -3*w - 39, -4*h = 3*w + w + j. Is -89/5 < w?
True
Let q = 19423 + -19425. Are -1/4108 and q equal?
False
Let r = 0.835 + -2.535. Suppose -4*a + 7*a = 9. Suppose -5*p - a = -3*k - 10, 4*k = p + 2. Is r < p?
True
Let a = -99 - -99. Suppose a = -y + 6*y + 345. Let p = y + 75. Is 7 != p?
True
Let v = 141 - 21. Suppose 299 + 198 + 336 = 7*x. Which is bigger: v or x?
v
Suppose -o - 19 - 27 = 0. Suppose 2*n - 30*h = -29*h - 90, -4*n = 4*h + 204. Is n at least o?
False
Let j(n) = n**3 - 9*n**2 - n - 4. Let o be j(10). Let s = 57 - o. Let q = 14 + -44. Which is greater: q or s?
s
Let z = 82 - 82.15. Let r = z - -0.02. Which is greater: -2/9 or r?
r
Let i = 96 - 39. Suppose 1848 = -i*g + 63*g. Is g less than or equal to 308?
True
Let h(r) = r**2 - 4*r - 255. Let l be h(-32). Is 903 >= l?
True
Let i be (-518)/(84/(90/(-15))). Let w be ((-16)/(-20))/((-2)/(-5)). Suppose 0*y + w*y - 76 = 0. Is y <= i?
False
Suppose f + 2 = r - 7, 2*r - f = 13. Suppose 5*c + r = -1, 4*c - 12 = 4*s. Let u be s/((-2)/1) - 256/8. Is -28 > u?
True
Let h(t) = -2*t**3 - 2*t**2 + t + 634. Let z be h(0). Suppose -z = -13*o + 302. Which is bigger: o or 70?
o
Suppose -4*s = -3*s - 23. Suppose 2*c = -2*z + 742, -27*c + 5*z + 1520 = -s*c. Is 375 smaller than c?
False
Let v = 0.0407 + 0.4593. Does 1.25 = v?
False
Let n = 269/21 + -90/7. Suppose 2*s - 3*x = -138, 0*s + 327 = -5*s + 3*x. Let f be (1 - (-44)/(-36)) + (-77)/s. Which is bigger: n or f?
f
Let h = -7 + 4. Let y = 17330 + -17348. Is y greater than h?
False
Let b be 3/(-70)*200/22800. Is b < -1?
False
Let d = 103 + -103. Let c be (d + 2)/(30/900). Do c and 59 have the same value?
False
Let p be 338/5 - (-12)/30. Suppose -32*f + p = -28*f. Does f = 6?
False
Let h = -3013 - -2994. Is h less than 0.67?
True
Let r(s) = 26*s + 152. Let w(o) = -17*o - 101. Let f(j) = -5*r(j) - 8*w(j). Let g be f(-11). Are g and -18 nonequal?
False
Suppose 2*r + 19*s = 17*s - 4, 3*s - 3 = 0. Which is bigger: r or -290?
r
Suppose -5*w = 39*q - 28*q - 18762, 2*w - 2*q - 7524 = 0. Is w less than or equal to 3761?
True
Let k be (-92015)/24708 - 37/148. Let a = 274/71 + k. Which is greater: a or 0?
0
Let h = 52501052/2371 + -22143. Which is smaller: 0 or h?
h
Let p be (-2)/(-3) - -2*33/9. Let d be p/192*8*(13 + -1). Let o be 22/(-8) + 9 + (d - 10). Which is bigger: -2/21 or o?
o
Let x be (-6 - (-585)/(-36)) + 3/(-4). Let j = x + 116/5. Which is smaller: j or 1/6?
1/6
Let q be -15 - -11 - 90/(-33). Let h = -8.34 + -0.56. Let m = h - -9. Is m <= q?
False
Let d = -496466/143 - -42298943/12155. Let m = d + -138/17. Is m at most as big as -2/11?
False
Suppose 0 = -4*m + 4, -2*q + 8 + 13 = 5*m. Suppose 40*x = q*x - 4704. Which is greater: -148 or x?
x
Suppose -2*y - 5*c - 960 = 0, -2*y + 3*c = 684 + 276. Let p be (-10)/(-3)*4544/y. Is p >= -33?
True
Let d(i) = i**2 - i + 17. Let u be d(10). Let p = 101 - u. Let s(k) = -5*k**3 + 2*k - 1. Let m be s(1). Which is smaller: m or p?
p
Let d = 22116127735/8900213 + -135/181637. Let g = -2485 + d. Which is bigger: 0 or g?
0
Let m = 0.14 + 2.06. Let p = 0.4 - m. Let b = -1.5 - p. Which is smaller: 2/9 or b?
2/9
Let a = 9.382 + -2911.382. Is 1/3 smaller than a?
False
Let a be (4/10 - 207/230)*(67 + -67). Let z be (-27)/(-6)*1/(-60). Which is greater: z or a?
a
Suppose -6*s = -0*s - 42. Let o(m) = 2*m**2 - 15*m + 3. Let g be o(s). Let h be 4 + 0 + g/(-4)*-4. Is h != 7?
True
Let b(d) = d**3 + 7*d**2 - 17*d + 11. Let i be b(-9). Suppose -i = 15*a - 62. Suppose 0 = 5*k + 5*s - 10, -s - 10 = -5*k - 4*s. Which is bigger: k or a?
a
Suppose 4*v = 89 + 11. Let t = v + -5. Suppose 202 = 9*q + 31. Is q at most as big as t?
True
Let a = -618 + 612.03. Let n = -6 - a. Let s = n + 0.27. Which is smaller: 0 or s?
0
Let j = 6489 - 6487. Is -2031 greater than j?
False
Let f be (7140/187 - -21)*1/3. Which is smaller: 19 or f?
19
Let n(x) = -2*x + 22. Let s be n(10). Let y(o) = 0*o**s + 48*o - 22*o - 17*o + o**2. Let c be y(-7). Is c equal to 1?
False
Let r be 1 + 919 - (15 + -16)/((-2)/(-8)). Is r <= 922?
False
Let z = 32 - 38. Let h be z/(-10) - (-8196)/(-10). Let r be 1624/h - 1*(0 + -2). Is 0 != r?
True
Let h(r) = 4*r**2 + 3*r + 2. Let t = 32 + -17. Let i be t/(-7) + 1/7. Let 