Suppose 3*t - l = 3*a, 0 - 1 = a. Suppose -12*h + t = -14. Is h smaller than 7/3?
False
Let b = -7.8632 - 1.9168. Do b and -3/2 have the same value?
False
Let m = 123660 - 9151179/74. Which is bigger: -4 or m?
-4
Suppose 914 + 446 = -12*g + 256. Is g at most -94?
False
Let z(r) = -r**3 - 7*r**2 - 18*r - 19. Let h be z(-3). Let t = -10 + 8. Let q be ((-9)/t)/((-342)/(-24)). Is h at most as big as q?
True
Suppose 3*w - 3*b + 3 = 0, -5*w - b = -15 - 4. Suppose 22*g = -13*g - 10*g. Let s be g/((-3)/(-12)*4). Which is smaller: w or s?
s
Suppose -2*p + 26*q = 25*q - 87, -118 = -3*p - q. Is 710/17 smaller than p?
False
Let o be -8 + 18 - (-8)/(-32)*44. Do -6/1759 and o have the same value?
False
Let g = -217 - -233. Suppose -6*r + 8 + g = 0. Is r equal to 0.7?
False
Let n(f) = f**2 - f - 1. Let x(l) = l**3 + 7*l**2 - 7*l - 13. Let v(r) = 6*n(r) - x(r). Let o be v(2). Which is smaller: -6 or o?
-6
Let o = 299 - 342. Suppose -2*f = -4*p - 56, -2*f + 19 = 4*p - 61. Let n = f + o. Which is smaller: -1 or n?
n
Let t = -1.7783 - 0.0047. Which is greater: -0.1 or t?
-0.1
Let j be 4/(-8) - ((-19125)/2270 - -8). Which is smaller: j or -1?
-1
Let d = -79523 + 79648. Let p = -0.2 + 0.1. Which is greater: d or p?
d
Let z be ((-118)/2 + -2)/(-5*5/(-1825)). Which is smaller: -4452 or z?
z
Suppose -79*c = -78*c - 4*d + 2514, 4*c = 5*d - 9968. Which is smaller: c or -2485?
-2485
Let u = -15015.1 - -15016. Let b = -1.99 + 2. Let j = b + 0.29. Are j and u unequal?
True
Let r be ((-72)/(-30))/((-1)/35). Let y = r + 75. Let x be ((-2)/(-453))/(3/y). Which is smaller: 0 or x?
x
Let w(m) = 16*m - 7 + 7 - 17 - m**2. Let v be w(15). Which is greater: 9/7 or v?
9/7
Let z = -614 - -575.6. Let s = z + -4.6. Is -2 greater than or equal to s?
True
Let d = -42 + 46. Suppose -4*v - 20 = 5*j, -d*j - 2*v - 10 = -7*j. Let n = -33548/55 - -610. Is j greater than or equal to n?
False
Let x be 12/15 - (-84)/70. Suppose 8 = -5*o - 4*m, x*o + 26*m = 31*m + 10. Which is smaller: o or 7/25?
o
Suppose -2*t - 10*r = -11*r - 36, -2*t + 4*r + 54 = 0. Suppose -7 + 1 = w. Let o = t - w. Which is greater: o or 18?
o
Let x = -2680 + 2650. Is x at most as big as -1/3?
True
Let b = 194/141 - 2/47. Let l = -11 - -10.8. Is l smaller than b?
True
Let a be 2 - 6 - 83*(-42)/180. Let c = a + -47/3. Which is greater: 0 or c?
0
Suppose -2*r - 3*h = -4*h - 141, 2*r = -5*h + 147. Suppose r*z - 30*z = -123. Which is smaller: z or -6/23?
z
Suppose 28*f = -8*f - 252. Which is smaller: -40/7 or f?
f
Let y = 873.31 + -872.8. Let p = -21 + 104/5. Which is greater: y or p?
y
Let h = -2/455 - 2696/7735. Let z(n) = 7*n + 1. Let o be z(3). Let f = o + -23. Which is smaller: f or h?
f
Let m(w) be the first derivative of w**3/3 + w - 28. Let d(k) = -k. Let i be d(0). Let y be m(i). Is -7 at least y?
False
Let r = 225/3979 + 3/346. Let g(n) = 2*n**2 - n**3 - 2 - 8*n - 15*n**2 - 10 + 7*n. Let v be g(-13). Is r at least as big as v?
False
Suppose 0 = -23*u + 35*u - 648. Let y(z) = 2*z**2 + 9*z - 4. Let l be y(-8). Which is smaller: u or l?
l
Let a be (4/(-6))/(6/(-171)). Suppose -w - 380 = -5*c, 0*w + 4*w - 97 = -c. Suppose -71*r + c*r = 108. Which is bigger: a or r?
a
Suppose 5 = u, 15 + 1 = -3*v + 2*u. Suppose 3*x + 34 + 54 = -5*h, -5*h = 25. Let n be 6/9 - 28/x. Do v and n have the same value?
False
Let r be 2/(3/((-9)/6)). Let w be 1 + 4 - (r + 6). Do 7/6 and w have different values?
True
Let v = 5197 - 5340.78. Let x = 2.22 - v. Which is greater: 0 or x?
x
Let b = -76 + 78.98. Let t = -0.02 - b. Let v = 0.39 - -2.61. Which is smaller: v or t?
t
Let f = 5756 - 5918. Is f smaller than -158?
True
Let g = -952 - -497. Let l = g - -470. Which is bigger: l or 110/7?
110/7
Let c be 2/3 + 16/12 - 3. Let t be 5/(45/132)*1/(-6). Is t at least as big as c?
False
Let j(k) = -k**3 + 48*k**2 + 50*k - 57. Let b be j(49). Let p(h) = h + 2. Let w(s) = s**3 + 6*s**2 + 5*s - 4. Let y be w(-5). Let a be p(y). Is b less than a?
True
Suppose 6*k + 4*b = 3*k + 7, -2*k - 3*b = -5. Suppose -k = -o - 0*o. Let u be 42/(-14) - (-116)/36. Which is smaller: u or o?
u
Suppose 0 = 3*d + 25 - 25. Let c be d - (-4)/(-10)*(-15)/(-6). Which is smaller: -189 or c?
-189
Let i = -348 - -351. Suppose -70 = 2*b + 4*c - 2*c, 5*c + 15 = -b. Let h be ((-84)/b + -2)*26. Is h >= i?
False
Suppose 2*k + 2 = 14. Let f(i) = 4*i**3 - 4*i + 3. Let j be f(1). Suppose -24 = -2*t - o, -j*t + 42 = 2*o + o. Is t > k?
True
Let l = 8308 - 8309. Which is greater: l or -53.96?
l
Let k be (1 - 0)/(-2 - -1). Let n(r) = 2*r**2 - 7*r - 81. Let w be n(17). Let u = -10204/27 + w. Is u at most as big as k?
False
Let x(b) = b**3 + 8*b**2 - 22*b + 16. Let s be x(-12). Is s at most as big as -294?
True
Let m be (8/16)/((-15)/1785). Which is smaller: -60 or m?
-60
Let l = -16718.17 + 16715. Are 7 and l non-equal?
True
Let c = -4002 - -4095. Which is smaller: -1 or c?
-1
Suppose 5*t = -1833 - 1147. Let n = -871582/351 - -83116/27. Let z = t + n. Which is smaller: z or 0?
z
Suppose -3*h = -4*f - 105, 49*h - 45*h - f - 166 = 0. Is h at least as big as 171/4?
True
Let h = -41 - -95. Let o be (-16 - (-255)/(-34)*-2) + (-167)/(-3). Is o bigger than h?
True
Let j = -1036 + 1109.9. Let f = 74 - j. Let g = 64.9 - 69. Is f != g?
True
Let g = -17261377 + 535032590/31. Let p = 2261 + g. Let j = p - -545/93. Which is bigger: j or 5?
j
Let u(a) = -73*a + 283. Let b be u(9). Let i be 2/6 + (b/33 - -10). Is i less than or equal to -1/33?
True
Let k = 1511 - 1366. Is k equal to 149?
False
Let t = -0.7 + -0.3. Let v = -88520 + 88704. Which is smaller: t or v?
t
Let s = -18671981266/1928545881 - -4/3263191. Let u = -3/197 - s. Let o = 18 - 8. Which is smaller: u or o?
u
Let j = 7 - -45. Let h = j + -52.2. Suppose 4*p = -24 + 100. Which is greater: p or h?
p
Let l(y) be the second derivative of y**5/20 - y**4/6 - 2*y**3/3 - 9*y**2/2 + y. Let v be l(5). Let b = 83 - v. Is 37 less than or equal to b?
True
Let a(p) = -4*p**2 - 8*p + 112. Let t be a(-23). Let q be (8/(-20))/(4/t). Is q at least as big as -1?
True
Let h be 2/8*(-280)/12145. Suppose 5*o - 3*s - 5 = -s, 0 = 4*o + 5*s + 29. Is h at most o?
False
Let p(s) = -s**3 - 2*s**3 + 0*s + 13 - 10*s**2 - 4*s + 4*s**3. Let h be p(10). Let g = h + 2. Which is smaller: g or -27?
-27
Suppose -19*k + 21921 = 175099. Is -8063 smaller than k?
True
Let o be ((-9)/5)/(45/(-375)). Is o >= -69?
True
Let t = 0 + 0.1. Let c = 851.99 - 856. Let h = c - -2.01. Which is bigger: t or h?
t
Suppose 2*l + 2*l + 558 = -2*j, 0 = 2*l - 3*j + 291. Let a = -140 - l. Is a != -8?
True
Let s = 1/205736 + -431089/4035923112. Which is greater: 0 or s?
0
Suppose -3*i + 355 = -2*n, 4*i - 3*n - 130 = 3*i. Suppose -2*d = -257 + i. Is d smaller than 73?
True
Suppose -15 = -9*r + 14*r. Suppose 5*p - 77 = -2. Let o be (-6)/p - 46/10. Which is bigger: o or r?
r
Let c = -1/19893 + 58783826/218823. Let l = c + -269. Which is bigger: 1 or l?
1
Let m = 8214 - 8163. Are 35 and m equal?
False
Suppose -2*w - 7*l = -5*l + 8, 7 = -4*w + 5*l. Let b be (2/(-19))/(w*154/(-21)). Which is smaller: -1 or b?
-1
Let o be 24/7 + 15/(-35). Suppose -2*b - 67 = 4*x - 75, -4*x = -o*b - 28. Let h = -3 + 2. Is x >= h?
True
Let p = -31159/4 - -7779. Let s = -13 - -2. Is p less than s?
False
Let s = -4.42 + -12.98. Which is greater: s or -0.02?
-0.02
Let t be -2865*2/(-12)*(2 - 0). Suppose 0 = 3*v + h - 311 - 255, -5*v = 4*h - t. Is v <= 187?
True
Let i = 3074.49 + -3075. Are i and -31 non-equal?
True
Let o(n) = -n**3 - 36*n**2 - n - 53. Let a be o(-36). Which is greater: a or -50?
a
Let w be (-5 + -4)/(3/(-6)). Suppose 36 - w = -3*n. Is n <= -23?
False
Let p = 4/257 + -558/2827. Is p smaller than -640?
False
Let w = -87 - -90. Suppose -w*m - 16 = -73. Which is smaller: m or 20?
m
Let l(m) = m**3 + 8*m**2 - 12*m - 27. Let q be l(-11). Let p = q - -258. Is -1/18 <= p?
True
Let f be (-78)/(-286) + 89028/(-326799). Is f smaller than 0?
False
Suppose 103 = -16*w + 279. Suppose -4*q + 537 = 5*j, 0 = w*q - 14*q + 3*j + 423. Is 696/5 >= q?
True
Let f be ((-2 - 0) + -4)/(6/(-4)). Suppose -13 + 33 = f*j. Let v be (-2)/(j*(-3)/(-75)). Do v and -6 have the same value?
False
Let z = -8.2 + -6.32. Let c = z + 5.52. Which is greater: -27 or c?
c
Suppose -4*v + 6*v = 8, b + v - 16 = 0. Let w be (-2)/18*b/(-22). Let r = -10.9 + 11. Is 