ter: -4 or o?
-4
Let v = -3 - -11. Let r be -7 + -2 + -6*6/(-12). Let a be (-6)/r + 8 - 0. Do v and a have the same value?
False
Let p = 13 + 9. Let v be (p - 20)/(1/(-12)). Let g be 22/v - 15/(-20). Which is smaller: g or 0?
g
Let i be 4/(-10) - (-54)/135. Let j be (-1)/1 - (-6174)/6160. Which is smaller: i or j?
i
Let m = 63.77 + -63.7. Let k = 77.93 + m. Do 0.4 and k have the same value?
False
Suppose -25*p = -29123 + 5923. Which is smaller: 931 or p?
p
Suppose -934 = -21*q - 1018. Suppose -2*y + 7 = -3. Are q and y nonequal?
True
Suppose y - 5*v + 66 = -y, 2*v + 4 = 0. Suppose -4*q = -2*j + 164, 56 = -5*q - 5*j - 134. Is q less than or equal to y?
True
Let a = 1835 - 1949. Let o = 52.2 + -52. Do o and a have the same value?
False
Let b(r) = -40*r - 79. Let o = -147 + 145. Let l be b(o). Which is smaller: l or 1/127?
1/127
Let d = 298 - 290. Let y be d/(-6) - 273/(-117). Which is smaller: y or 8/63?
8/63
Let h = -8069 + 14307. Is 2 not equal to h?
True
Let a be (5 - 10)*(-5)/(-5 - 0) + 15. Let t(b) = -15 - 3*b + 6*b - 16. Let p be t(a). Which is bigger: p or -3?
p
Let g(l) = -3*l - 19. Let o be 144/(-20) - (-4)/20. Let r be g(o). Let s(q) = q**2 - 6*q + 4. Let n be s(r). Which is smaller: -5 or n?
-5
Let n = -6.04 + 266.04. Which is greater: 2/11 or n?
n
Let w = -76.2 - -16.2. Let d = 190 + w. Is d < 0.1?
False
Suppose 17*s + 4144 = 3*s. Let h be (-1 - (-28858)/s)/((-5)/20). Let r = 394 - h. Which is smaller: r or 0?
0
Let a(m) = -7*m - 53. Let o = -87 + 87. Let w be a(o). Which is greater: w or -52?
-52
Suppose -560 = -g - 2*m, -5*m + 548 = g - 9*m. Let a = g + -480. Which is smaller: 74 or a?
74
Let z be 488/(-40) - -11 - -3. Is 0.18 smaller than z?
True
Suppose 0 = 162*x + 10*x. Let j = -1232/15 + 82. Which is greater: x or j?
x
Let i be 0 - (-1)/(-2) - 0. Let z = 4.52 - 4.55. Is z at least i?
True
Let g = 28 + -23. Let b(q) = -q**3 + 6*q**2 - 4*q - 1. Let z be b(g). Suppose -z*y - o = 4*o - 150, 5*y - 181 = -3*o. Which is smaller: 36 or y?
y
Suppose 0 = -5*k + 4*x + 7, -k + 19 = 4*k + 2*x. Suppose 0 = -4*w + 1 + k. Let p = -1264/26469 - -6/173. Is p < w?
True
Let c(l) = -l**3 - 6*l**2 + 2*l + 8. Let k be c(-7). Suppose m + 97 = 10. Let r = k + m. Which is bigger: -43 or r?
-43
Let c be (-10 + 35/5)/((-21)/28). Which is greater: 1.26 or c?
c
Let r(p) = 6*p - 38 + 11 - 4*p. Let j be r(14). Let q = 261/4 + -717/11. Are q and j nonequal?
True
Let b(g) = -4*g + 7*g - 15*g + 17. Let w(h) = h - 1. Let p(f) = -b(f) + 4*w(f). Let l be p(-4). Do -85 and l have the same value?
True
Let r = 3.734 - -9.402. Let y = 0.136 - r. Is y bigger than 0.4?
False
Let w = 3616 - 3617. Is 1537 bigger than w?
True
Let w = -6153 + 6476. Is w bigger than 6?
True
Let s be (-37)/(-1776)*(1 - 141/9). Which is smaller: 0 or s?
s
Suppose 40*n + 834 = -2766. Which is smaller: n or -85?
n
Let v(f) = 3*f + 957 - 934 - 10*f - 14*f. Let z be v(1). Is z != 3?
True
Let f(t) = 3*t**3 - 2*t**3 + 4 - 9*t + 3*t**2 - 8 + 9. Let a be f(-5). Let b be (a/((-25)/5))/1. Is b not equal to -4?
True
Let q = -3349 + 3348. Is 1/971 < q?
False
Suppose 9*u + 2752 = 709. Let j = 62/9 - 65/9. Is u <= j?
True
Suppose 5*j - 1359 = -2*n, -5*j - 4*n + 1349 = -7*n. Suppose -2*l = 17 + j. Let s be (-4)/10*l - 6/(-15). Is -1 at most as big as s?
True
Suppose 85*y - 26*y = 59. Which is bigger: 2/211 or y?
y
Let w(j) = -23*j - 291. Let c be w(-13). Let g be 0 + 1 + 12/(-3). Let k be ((-28)/(-8))/(g/(-7)). Is k less than or equal to c?
False
Let c = -7880 - -2117. Are c and -5764 unequal?
True
Let h(t) = t**3 + 6*t**2 - 7*t + 3. Let c be 9 + -13 + -3*1. Let b be h(c). Suppose 2 = m - 0, b*m = 5*o + 86. Are o and -17 nonequal?
True
Suppose -g - 6*u + u + 20 = 0, 0 = -2*g + 2*u + 64. Let f be 4*2/(-10)*g/(-24). Which is smaller: -1/17 or f?
-1/17
Suppose -102906 = -74*d + 39100. Is d bigger than 1919?
False
Suppose -o = -2*z + 1041, 3*z - 31*o + 29*o = 1560. Which is greater: z or 527?
527
Suppose -64 = -p + f, -4*p + 7*p = -f + 188. Let s be (-18)/p - 100/(-301). Which is greater: -1 or s?
s
Let z be ((-15)/(-135))/(2/10). Suppose -64 = -5*o + 11. Suppose o*t - 16*t = 0. Which is bigger: z or t?
z
Let l(c) = -c**3 + 24*c**2 + 50*c + 16. Let k be l(26). Let i = 605 + -640. Are i and k unequal?
True
Suppose 0 = 4*v - n - 0*n + 150, 3*v = 5*n - 104. Let s = v + 42. Suppose 0 = 2*f - s, 2*z + 3*f + 48 = -10. Is -33 bigger than z?
False
Let p = -3777 + 2880. Is p != -892?
True
Let a be 2/6 - 10/12. Let o = -122.27 + 2.27. Let k = 116 + o. Is a greater than k?
True
Let y = 27419 + -23251329/848. Is 0 greater than or equal to y?
True
Suppose 4*w - 11*w - 56 = 0. Let f be w/4*5/(-1325). Is f <= 0?
False
Suppose 48*k - 259*k - 70*k = 0. Are k and -99/163 nonequal?
True
Let a = -5559643594/450029718411 + 2090/2549469. Let x = 2/1169 - a. Which is bigger: x or -2?
x
Let k be (3/2)/((-18)/24) - 0. Suppose 3*u - 5*b - 68 + 8 = 0, 80 = 4*u - 4*b. Let i = 16 - u. Which is smaller: i or k?
i
Let l = -12125/7406 - 3/529. Suppose 2*x - 3*h = -17, -60*x + h = -64*x + 1. Which is greater: x or l?
x
Let i = 35766/25 + -287958/325. Let c = -76710/143 + i. Which is smaller: 7 or c?
7
Let x = -31 + 31. Suppose x = w + 35 - 51. Suppose -8*j - 96 = -w*j. Which is greater: j or 65/6?
j
Let r = -1277 - -668. Suppose -2*c - 1232 = 4*j, -137*c + 3056 = -142*c - 2*j. Is c less than r?
True
Let k be (-1 - (-34)/22)/(12/(-2553)). Let w = k - -116. Is w at most as big as 2?
True
Let q(x) = -7 - x**2 + x + 13 - 1. Let b be q(4). Let t = 21 + b. Which is smaller: 15 or t?
t
Let t(u) = -45*u + 298. Let k be t(12). Let n = -215 - k. Is 3 smaller than n?
True
Let t be 15*((-1)/(-13) - (-370)/1443). Suppose -t*a = -25, v - 5*a = -2*a - 50. Does v = -3?
False
Let f = -15/8222 + 246259/125969262. Is f at most as big as -1?
False
Let j be (-1191)/(-21) + (-2)/(-7). Let p = 53563.6 + -53564. Do p and j have different values?
True
Let q = 7042 - 12231. Is -5189 > q?
False
Let v = -188 + 44. Let r = v + 147. Suppose 3*s - 3 = 2*a, 0*s = 5*s - 5*a. Do s and r have different values?
False
Suppose 0 = -52*q - 591949 + 1566585. Is q <= 18744?
True
Let n be -21 + (-41)/((-5740)/2960). Which is bigger: -1/21 or n?
n
Let i = -878/4199 + -6/4199. Does i = 3.4?
False
Suppose 5*f - f - 12 = 0. Suppose -5*n - f*h = 92 + 20, -h = -n - 24. Let x = n - -22. Which is smaller: x or -13/6?
-13/6
Let a(q) = 224*q. Let m be a(1). Let k be (108/(-15) - 4)*(-700)/35. Does k = m?
True
Let k be ((-2)/(-28))/((-1)/16). Suppose -69*d - 659 = -245. Let c be 12 + -5 - (d + 15). Is c <= k?
True
Suppose -7*y - 2*y - 324 = 0. Let o be ((-2)/2)/(y/(-3)). Let a = o - -1/3. Which is bigger: a or 9?
9
Let x = 33 - 28. Let l be 0 + x - (1 + 1). Suppose t - 4*b + 7 = -7, -2*b + 2 = -l*t. Which is smaller: -8 or t?
-8
Let q = 44 + -44. Let h be q*((-28)/(-8) + -4). Let r be ((-24)/(-260))/(4/5). Is h at least as big as r?
False
Let y(j) = -11*j**2 - 118*j - 6087. Let c be y(-36). Which is smaller: c or -16096?
-16096
Let k = 370.613 + -371. Let u = 10.387 + k. Which is smaller: u or -15/7?
-15/7
Let n be 109868/(-14) + (-244)/854. Are n and -7849 non-equal?
True
Let f = -266.967 - -5.067. Let r = -230 - f. Let o = -32 + r. Is 0.04 at least as big as o?
True
Let l be -5 + -5 + (-174492)/(-17448). Which is greater: l or 0?
l
Let t = -6599/785 - -1/157. Let w = -583/70 - t. Is w < 0?
False
Let l be (50/(-5))/5 + 7. Suppose l*w = 11*w - 954. Let h be -5 + w/(-132)*-4. Is 6 less than or equal to h?
False
Let t = 8.4 - 4.4. Let w = t + -7. Are w and -2 unequal?
True
Let y be (-3)/6084*-8*4715/(-456). Let r = -2/1521 - y. Is -1 > r?
False
Suppose 27 = 2*j + 3*h, 4*h = 4 - 0. Suppose 5*f = -6*f + j*f. Let d be (-2)/12*(-15)/(-2). Which is smaller: f or d?
d
Suppose -37*x + 4753 + 2341 + 13108 = 0. Is x at least as big as 1.1?
True
Let s = -139 - -267. Let r = s + -75. Let z = 69 - r. Which is greater: z or -0.2?
z
Let c = -130 + -30. Let f = c - -149. Which is bigger: -88/9 or f?
-88/9
Suppose 3*b - 15 = -p, -5*b - 28*p = -29*p - 17. Suppose -4*q - 16 + 2 = 3*t, 2*q - b = 4*t. Is 26 > q?
True
Let z = 2892.537 - 2887. Let f = z - -0.463. Which is smaller: 34/7 or f?
34/7
Suppose 10 = -5*d + 20. Suppose 2*r = d*n + 2*n - 26, -2*r = -3*n + 21. Suppose z + 2*o = -42 + 9, n*z + 3*o + 130 = 0. W