+ -0.271. Which is greater: u or -4.6?
u
Let c(y) = -y**2 - 112*y - 434. Let n be c(-108). Let t = -139 + 139.081. Is n at most t?
True
Let l be 689/15 - 84/(-210). Suppose -10*k = -17*k + 329. Is k bigger than l?
True
Let v = 0.05 - 0.05. Let q = -0.51 - 6.49. Let s = q - -6.3. Is s less than or equal to v?
True
Let r(y) = 48*y**2 + 1422*y + 4254. Let l be r(-3). Is 407 smaller than l?
True
Suppose 4 = x - 3*x. Suppose 63*p - 1316*p + 11723 = -9578. Do x and p have different values?
True
Let i = 68722199/1844 + -37268. Is -1 less than or equal to i?
True
Let v = 0.1072 - 501.1072. Let i = -499 - v. Is -40/3 < i?
True
Let u be (1938/(-119))/(-19) + 668/(-763). Let w = -3 + 2. Is w greater than u?
False
Suppose -5*l - 25 = -4*g, l - 6*l + 15 = 4*g. Let t(b) = b**3 - 7*b**2 - 5. Let y be t(g). Let i be y/11 - (-2 + 3). Is i < -4?
True
Suppose 0 = 38*x - 35*x - 78. Let r(m) = m**3 - 4*m**2 - 9*m + 8. Let j be r(6). Is x less than or equal to j?
True
Suppose -5*m = 5*u - 3*u - 498, 4*u - 1012 = -2*m. Let w = 265 - u. Is w not equal to -0.01?
True
Let b(g) = 98*g**2 + 4602*g + 7. Let r be b(-47). Which is smaller: r or 191?
191
Let l = 129 - 132.8. Let i = l - -6.8. Suppose 2*c = 4*t + 20, 0 = -t - 0*c + 2*c - 5. Which is smaller: t or i?
t
Let s be 56/(-28)*(18/4)/9. Is s not equal to -1/1093?
True
Let q = 18550/9 - 2059. Let r(o) = 118*o + 6963. Let v be r(-59). Are v and q nonequal?
True
Let x(t) = t**3 - 16*t**2 - 54*t - 111. Let k be x(25). Which is greater: 4160 or k?
k
Suppose -m - 5*i + 2 = 13, 0 = m + 4*i + 6. Let w be (2/4)/(-1) - (-49)/m. Which is bigger: w or -3?
w
Let h = 0.2 - 0.3. Let k = 522 - -108. Let d = k + -623. Is h at most as big as d?
True
Let w = 27869/4 - 12582853/1806. Which is smaller: w or 1?
w
Let x = -60 + 61. Let y be (-441)/(-12)*(-8)/12. Is x at least as big as y?
True
Let f = -16694 - -16693. Which is bigger: f or 0.13703?
0.13703
Let q be (6/(-64))/(351/(-12)). Suppose 2*i + d = 5, -3*d - 66 = -4*i - 71. Is i not equal to q?
True
Let w be -88*(510/(-40) + 0). Is w > 1120?
True
Let k = 806 + -804. Let y be k/15 + (-46163)/7035. Is y less than -7?
False
Let o be 3899361/(-9106251) + 3/7. Which is bigger: o or 1?
1
Suppose 0 = -4*s + 6*s - 58. Suppose -s*w + 9*w = -900. Is w > 44?
True
Suppose 14*m = -10*m + 21*m + 3666. Which is smaller: m or 1223?
m
Let l be (-1 + 3)*-2 + (-15 - -35). Suppose -l*t - 24 = -22*t. Suppose -t*n - 16 = -8. Which is smaller: n or 5?
n
Let i = 117693575/18 - 6541881. Let x = -3348 - i. Are x and 2 unequal?
True
Let g(a) = a**2 - 121. Let r be (-28 - -2)*7*4/56. Let u be g(r). Which is greater: 52 or u?
52
Let p = 2127 + -2140. Which is smaller: 0.58 or p?
p
Suppose 3*r + r + 4 = -3*q, -4*q = -2*r + 20. Let d be (-12)/8 + (-14)/q. Suppose x - 9 = -d*x. Which is greater: 11/7 or x?
x
Let i(h) = -h**3 - 1. Let c(o) = 4*o**3 + 28*o**2 + 28*o + 34. Let u(n) = c(n) + 5*i(n). Let j be u(29). Is j >= 0.26?
False
Let s(v) = 5*v + 234. Let f be s(-44). Let a(m) = -m**2 + 9*m - 2. Let y be a(f). Is y at most -72?
True
Let x be ((-310952)/3666 + 2/13)*6/4. Let f = -93 - 36. Is x at least as big as f?
True
Let y(n) = 16*n**2 + n + 3. Let k be y(0). Which is greater: k or 607?
607
Let w = -1 - -1.48. Let r = 7.2 - 5.72. Let b = r - w. Is b < -37?
False
Let h = 1546 + -1550. Let j(l) = 2*l**3 - 2*l - 1. Let q be j(-1). Let i be (5/10)/(q/(-6)). Is i bigger than h?
True
Let p be 1 - 7 - (-493)/85. Which is bigger: -2.04 or p?
p
Let m(j) = j**2 + 9*j + 6. Let g be m(-9). Suppose 4*q - g*q - 62 = 0. Let k = 26896 - 26926. Is k equal to q?
False
Let j(d) = -d**3 + 22*d**2 + 51*d - 64. Let p be j(24). Let n be (-6)/(-1) + 1 + -2. Suppose v = n*m - 4, -3*v + v = p. Which is greater: 2/5 or m?
2/5
Suppose -s + 3*r + 71 = 0, -3*r = -4*s - 210 + 440. Which is smaller: 54 or s?
s
Let v be (5*-1 - -1)/(8075/(-2005) - -4). Is 146 less than or equal to v?
False
Suppose -2*p - q = -4*q - 176, -2*p - 4*q + 176 = 0. Which is smaller: 124 or p?
p
Let k = -1.8 - 209.2. Let c = k + 212.29. Let f be (1 - 9/6)*-2. Is f less than or equal to c?
True
Let n be 37346/1278 + (-2)/9. Let c = 27 - -5. Is c less than n?
False
Let v = 25.29 + -25.39. Which is greater: v or -42?
v
Let a = 0.0523 + 2.4777. Let j = a - 2.53. Which is greater: -0.31 or j?
j
Suppose -27*q - 2969 = -71*q - 70*q - 6731. Let o = -393 + 581. Suppose 0 = 5*n + o - 23. Is n not equal to q?
False
Let o = 45.9 + -244.9. Let y = o - -199. Which is smaller: y or -0.2?
-0.2
Let v be (-1094)/8 + ((-51)/12 - -5). Let q = v + 3127/23. Is -1 less than or equal to q?
True
Let x = 0.0814 - 0.0545. Which is bigger: x or -5?
x
Let u = 0.086 + -143.086. Let z = u - -66. Let s = -78 - z. Is -0.05 < s?
False
Let a(m) = 3*m. Let o(v) = -v**2 + v. Let q(h) = -a(h) + o(h). Let k be q(7). Let p = 33032 + -33096. Is p smaller than k?
True
Let b = -6779 - -6779. Do -11/493 and b have the same value?
False
Let w = -1471/420 + 1/420. Let t = -0.9 - -0.2. Let m = t - 0.3. Which is bigger: w or m?
m
Let n = -26410 - -52817/2. Is n at most -2.676?
False
Let y = 45058/1925 + -789/77. Which is bigger: y or 12?
y
Let n be (80/136)/(-5) + 6173/17. Let g = n + -342. Is g smaller than 24?
True
Let c = 3.28 - 223.28. Let a = -211 - c. Is -0.11 <= a?
True
Let r(j) = -j**2 - 91*j - 1889. Let g be r(-42). Is g at least -0.1?
True
Suppose 5*j - 21 = -206. Let l be ((-1)/j)/(0 + (-7)/(-14)). Which is greater: l or 1?
1
Let u = 2050 - 2049.96. Let c = 0.43 + -0.07. Let n = c + u. Is -12 equal to n?
False
Suppose 4*d = -5*t - 13, 3*t + 4*d + 5 = 2. Let k(o) = 10*o + 22. Let l be k(t). Which is smaller: -27 or l?
l
Let o be (-2 + (-10)/(-6))/(3/(-36)). Suppose o*k + j = 9 + 38, 3*j = -4*k + 53. Suppose 13 = -2*d + 5*f, 0 = 4*d - 13*f + 8*f + k. Is d smaller than -1/21?
False
Suppose 0 = -2*g + 108 - 70. Let o be (-3 + 11/2)*-6. Let b be (30/(-4))/(o/40). Which is greater: b or g?
b
Let w = 27 - 26. Let o be (1 + 3 + w)/(-1). Let p = o + 2. Is p not equal to 1?
True
Let x = 85 - 19. Let m = x + -66.1. Is -27 less than m?
True
Let j be -12 - ((-268)/(-33))/(68/(-102)). Let q be 4/216*2*-4. Are j and q equal?
False
Let k = 16248 + -16245. Which is smaller: 384/175 or k?
384/175
Suppose 8*f = -3*c - f + 8388, 2*f + 11212 = 4*c. Which is smaller: 2800 or c?
2800
Let f be (84/(-145))/(1/((-13)/26)). Which is greater: f or 0?
f
Let p be ((-12)/4)/(-3) + -5. Let t = -24.19 + 24.59. Which is greater: p or t?
t
Suppose -28*n + 29*n - 64 = 0. Suppose 0 = -5*x + 4*l - 1080, x + n = -3*l - 133. Is 1/2 less than or equal to x?
False
Let z = 58 + -54. Suppose -z*r + 52*r = -1200. Is -4 equal to r?
False
Let f = 5038603/508092 + -2/42341. Let o = 49/4 - f. Suppose 41*v - 37*v + 7 = 3*a, a = 4*v - 3. Is v less than o?
True
Let m = 1.755 + -1.8. Let u = m + -0.315. Let v = -1.64 + u. Which is greater: v or 0?
0
Suppose 4 = -4*m - 3*b + 38, 0 = -2*m - 5*b + 10. Suppose -3*t = -8 - m. Suppose q - 7*q = t. Are 2 and q non-equal?
True
Suppose 0 = 3*l + 2*m - 5 - 8, l - 26 = -5*m. Let y be (0 + -1)/(1053/59751). Let w = y + 173/3. Is w <= l?
True
Let p(t) = -t**3 - 22*t**2 + 24*t + 35. Let i be p(-23). Let o be (9/2 - 4)/((-39)/i). Is -3.3 smaller than o?
True
Let p(z) = -9*z - 142. Let b be p(-16). Suppose -b*h + 1 = 5*n, -9*n = -5*n - 5*h + 19. Is 1/59 bigger than n?
True
Let d = 69 - 67. Suppose -l + 5*w = -206, d*l - 9*w = -11*w + 424. Which is bigger: 210 or l?
l
Let k = 2167 - 2326. Is 23 less than k?
False
Let y(g) = -g**2 + 6*g - 7. Let r be y(4). Let c be r + 1*-28 - 2/2. Let v be (c/49 - (-22)/14)*1. Is v < -2/39?
False
Let l = -22 - -30. Suppose 0 = 3*k + 5*g + 304, -4*k + l*g - 384 = 4*g. Let h = k - -65. Is -33 bigger than h?
False
Suppose 4862 = 2*v + 10*o - 8*o, -4*v = 5*o - 9725. Is 2430 >= v?
True
Let c(x) = 4*x + 8. Let y be c(0). Suppose 0 = 3*w - y*f + 10*f + 7, 5*w - 3*f - 1 = 0. Let m = 636 + -22262/35. Is w > m?
False
Let s(f) = f**3 - 8*f**2 - 10*f + 7. Let u be s(9). Let t(o) = 3*o. Let g be t(u). Let z be (g/70)/(10/25). Which is bigger: 0 or z?
0
Let h = -4739.9 + 4740. Is 6/185 smaller than h?
True
Let s = -8461 + 702281/83. Is 1 at least s?
True
Let t = 8306 + 445. Which is bigger: t or 8752?
8752
Let s be 7/(35/(-20)) + 1 + -186. Let y = -190 - s. Let a be ((-4)/22)/((-4)/(-14)). Is y at 