-1452214/1305 - 1564/261. Is -1120 > r?
False
Let r = 0.69 - 0.714. Let w = -0.034 - r. Let b = -35 - -32. Is w equal to b?
False
Suppose -3*j - 17 = 31*o - 32*o, 4*o + 28 = -4*j. Which is greater: o or 1/287?
1/287
Let k be 31/(-7) - 280/490 - -2372. Is k smaller than 2368?
True
Suppose 2*i - 1487 = -n, 1292 - 5007 = -5*i - 3*n. Is 748 greater than i?
True
Suppose -4*s + 5*h - 30 = 26, 16 = 4*h. Let j be (-213)/s - (-25)/(-15). Suppose j*r - 12 = 19*r. Which is smaller: 5 or r?
r
Let z = -60 - -35.5. Let i = z + 24. Let b be (-7)/(420/(-8))*5/1. Which is bigger: i or b?
b
Suppose 2*m - 10*l + 15 = -13*l, 5*l = 2*m - 41. Let b = -18967/8 - -2374. Is b less than or equal to m?
False
Let j(k) = 4*k - 6. Let p be j(2). Suppose p = -5*f - 2*c, 2*f + 28 = -2*f + 5*c. Suppose -29 = 2*h + 3*r, 3*h - 5*r + 3*r = -63. Which is greater: f or h?
f
Let x = -26800597730/8407747 - -800095/251. Let j = x + 2/817. Which is greater: 1 or j?
1
Let i = 0.271 - 0.161. Let c = 29.77 + -30. Let u = -2.23 - c. Which is smaller: u or i?
u
Let k = -29 - -25. Let h = 190 + -109. Let a = h + -83. Is a less than k?
False
Suppose -4*j + 6 = 2*a - 2, 5*j + 2*a - 8 = 0. Suppose j = -5*b + z + 10, -2*b - 2*z = -1 - 15. Let f be 2 + (-6)/(0 + b). Is f at most 0?
True
Let j = -589 + 825. Let i = -242 + j. Which is greater: 0.21 or i?
0.21
Let y = 579 - 577. Suppose 0*s = -4*s - 4, 255 = y*m - s. Is m less than 126?
False
Let j be (-14)/70 - ((-6)/(-15))/(5012/(-2191)). Which is smaller: 0 or j?
j
Suppose 2*s = 6*s. Let a be 845/(-11999)*42/(-70). Is a at most s?
False
Let g = -933 + 619. Let z = g + 221. Let w = 92 + z. Is 1.7 at least w?
True
Let f(l) = 43*l - 172. Let t be f(7). Suppose -5*c = -4*p - t, 0 = -6*c + 9*c - p - 76. Which is smaller: c or -0.1?
-0.1
Let s = 194 - 300. Let q = s - -107. Which is smaller: q or 10?
q
Let q be (0*9/(-18)*1)/(-1). Let z = 370 + -3697/10. Which is bigger: z or q?
z
Let z = 1212 + -1209. Let t = 0 + 0.06. Is z less than t?
False
Let v = -19.31 + 21.31. Let d(n) = -9*n**2 + 3*n + 1. Let u be d(-2). Is u > v?
False
Let m = 196241/6 + -32456. Which is smaller: 252 or m?
m
Suppose 4*n + 184 = 4*i, -n = 3*i + 4*n - 106. Let o = 72 + -26. Does o = i?
False
Let i be (3 - 35/2)*-2. Let m be -7*(12/(-6) - (-1 - -4)). Let c = i - m. Which is greater: c or -5?
-5
Let k = -1255/16 - -92533/48. Let z = 1952 - k. Do 103 and z have different values?
True
Suppose 2*v - 336 = -14*v. Suppose -5*f = -126 + v. Which is greater: f or 12?
f
Let c = -36 - -33.9. Let x = c - -8.1. Let l = x - 7. Which is greater: l or -6?
l
Suppose -5*v - 15605 = -5*x, -7028 = 5*v + 3*x + 8529. Is v <= -3116?
False
Let n be (-1968)/(-1476)*((-434)/(-4) - 2). Let j(t) = t**2 + 142. Let x be j(0). Let s = n - x. Are 2/73 and s nonequal?
True
Suppose -5*z + 138 = -j, 4*j - 7*j - 454 = -5*z. Which is bigger: j or -169?
j
Let p(g) = -5*g + 41. Suppose -27 = -2*i - i. Let r be p(i). Let m be (r/52)/(-1)*-9. Which is smaller: -1 or m?
-1
Let i = 1237 - -661. Is 1 > i?
False
Let n(h) = 9*h**2 - 16*h + 96. Let z(u) = 17*u**2 - 31*u + 193. Let b(t) = 7*n(t) - 3*z(t). Let m be b(5). Do 297 and m have the same value?
False
Let l(o) = 34. Let d(t) = t - 1. Let z(r) = d(r) + l(r). Let u be z(-3). Is 29 <= u?
True
Let b(c) = 27*c - 330. Let r be b(45). Which is smaller: 887 or r?
r
Let s = 1596 - 937. Let c = -660 + s. Which is bigger: c or 0.273?
0.273
Let f = -7391 + 7639. Which is greater: f or 261?
261
Let s be (-33088)/(-2200) - (-2)/(-50). Which is smaller: 77 or s?
s
Let r(k) = -7*k + 589. Let g be r(-48). Is 926 less than or equal to g?
False
Suppose g + 0 + 36 = 0. Let u(n) = -16*n - 8. Let o(v) = 5*v + 3. Let j(c) = -17*o(c) - 6*u(c). Let m be j(-3). Is g <= m?
True
Let f = -14 + 2. Let k be 9/f + 1569/(-396). Let u = k - -14/3. Is 1 not equal to u?
True
Let f(x) = -146*x**3 + 5*x**2 - 4*x + 3. Let g be f(5). Let r = g - -12100716/667. Is r at least as big as -1?
True
Let g be 538*10/(-10) + 5*1. Let j = g - -512. Which is bigger: -83/4 or j?
-83/4
Let b be ((-40)/(-5) + (-1)/(3/3000))/1. Is b at least as big as -1001?
True
Let z = -356 + 254. Let b = -50 - z. Let j = b + -52.4. Is j less than -4?
False
Let h(u) = 1818*u + 1797. Let a be h(-1). Do 50 and a have different values?
True
Let b be (12/8)/((-6)/2)*2. Let f be (1118/(-65))/(b/(-5)). Let p = 59 + f. Which is bigger: -26 or p?
-26
Let u(s) = -2*s**2 - 14*s. Suppose -24*a = -22*a - 4. Suppose -45 = 5*o + 5*d, 1 = -o + a*d - 2. Let t be u(o). Which is greater: 10 or t?
10
Let f be (254/30)/((-12)/150*-5). Let y = f + -20. Is -11/5 at least as big as y?
False
Let c = -64 + 54. Let p be (384/20)/(1*(-3)/c). Suppose -5*s + 4*u = -u - 120, -2*u + p = 2*s. Which is bigger: s or 27?
s
Let a(h) = h**3 + 2*h**2 + 321*h + 2864. Let q be a(-9). Which is smaller: -0.13 or q?
q
Let d = -2/321 + 2521/559182. Is d greater than 0?
False
Let p(a) = 26*a**2 + 195*a + 94. Let v be p(-7). Which is greater: v or -664?
v
Let y be 8/(-332)*(2 + 0). Let z be 1/(((-104)/(-13) - 2)*(-1)/6). Which is greater: z or y?
y
Let w = -0.752 + 0.212. Let m = 1.54 + w. Which is smaller: 0.36 or m?
0.36
Let l be 42*(-8)/590*-5 + (3 - 6). Suppose 3*y = 3*a, -3*y + a = -1 - 1. Is l less than y?
True
Let i = 7125 - 6812. Which is smaller: i or 309?
309
Let v(r) = -2*r**2 - 2*r + 1. Let x be 1*(-3 - -7)/(-2). Let f be v(x). Let y(c) = -c**2 - c + 5. Let o be y(f). Is 2/5 >= o?
True
Let y = -1940/7337 - -15/319. Suppose 2*g - 8 = -2*d, -g - 6*d + 16 = -d. Does g = y?
False
Let k be ((-167)/(-3) - -2)/(1 - 8/12). Is 184 > k?
True
Suppose -3*a + 156 = 3*v, 0*a = -5*a + 25. Let w be (-550)/36 + v/(-94). Which is smaller: w or -16?
-16
Let h = 754 + -753. Let k be (-16)/5 + h/5 + -4. Which is smaller: k or -47/8?
k
Suppose 5*b - 5*j = -1 + 36, 0 = -2*b - 4*j - 4. Suppose -u = -b*u - 180. Let s be (((-39)/(-9))/1)/(u/(-36)). Which is bigger: s or 2?
s
Suppose -7 = 3*p - 2*a, 4*p + 15*a = 19*a - 12. Let j be (3/(-14))/((-3)/(-4)). Which is bigger: j or p?
j
Let y = 144.8 - 144. Let x = -0.7 + 4.7. Which is smaller: y or x?
y
Let d = -4090 + 4089.95. Is d < 218?
True
Let w(f) = 3*f**2 + 20*f + 11. Let n be w(-16). Let q be 1845/n - (5 + -1). Suppose -3*s + 17*s - 14 = 0. Is q < s?
True
Suppose 0 = -6*j - 67609 - 29297. Let b = 11483359/711 + j. Is b smaller than 1?
True
Let u = 168.48 - 166.4. Do -0.51 and u have different values?
True
Let x(q) = 52*q + 11. Let y be x(-1). Let w = y - -370/9. Does 24/7 = w?
False
Let b = 85 - 131. Let z = 44 + b. Let w = z - -1.7. Which is bigger: -7 or w?
w
Let s be (-1 - -25)*(0 + 1). Let w(l) = l**2 - 16*l - 97. Let n be w(-7). Let h = 87 - n. Which is greater: h or s?
s
Let j = 5 - 8. Let z be 1/j*-1*5. Let h be 4*-5 - (-103 + 83). Is z >= h?
True
Let u be 15*-2*(-4)/20. Let n be 2 - (-4 - -2) - 28/7. Suppose n = -5*x + 47 - 12. Which is bigger: x or u?
x
Let u(a) = -15*a + 342. Let i be u(-37). Let q = -485 + i. Is q smaller than 411?
False
Let z = -210.9 - -199.8. Is z bigger than 1/4?
False
Let b be (10064/(-10))/((-2)/(-21 - -11)). Let t be b/(-719) - (-16 + 23). Do 0 and t have the same value?
False
Let d(t) = -1222*t**2 + 2*t + 1. Let f be d(-1). Let l = -6148/5 - f. Let c(m) = 6*m + 12. Let k be c(-3). Which is smaller: l or k?
l
Let x(i) be the third derivative of 3*i**4/8 - i**3 - 5*i**2 - 6*i. Let q be x(-6). Is -56 at least as big as q?
True
Let r = -0.275 + -2.825. Let b = -3.1 - r. Which is smaller: -7.2 or b?
-7.2
Let v = -37 - -39. Suppose 3*y - 5*z + 1086 = -8*z, 4*z = -v*y - 714. Is y at most as big as -367?
True
Suppose 10171 = 9*n + 1315. Suppose 36*i + n = 48*i. Is i greater than 85?
False
Let i be (-16)/18*39*3/(-1). Let v = -98 + i. Is 13/2 < v?
False
Suppose 4*s - 985 + 243 = -l, -748 = -4*s - 2*l. Is 196 at least s?
True
Let q be 116*(26/(-208))/(2/76). Which is bigger: -553 or q?
q
Let p = -1209 + 1206. Let q = -35.13 - 0.87. Is q equal to p?
False
Let p(q) = -q**2 - 22*q - 40. Suppose -23 = t - 3*t - 3*n, 3*n - 19 = -t. Let r(j) = -7*j + 8. Let y be r(t). Let b be p(y). Do b and -2/7 have the same value?
False
Suppose -3*p - 6 - 14 = -5*s, -3*s + 12 = -3*p. Let n(w) = -w**2 - 15*w - 52. Let r = -160 - -152. Let f be n(r). Is s at least f?
True
Let s be -11 + ((-105)/(-9210))/(12/11576). Which is smaller: 