- -49. Is a less than or equal to r?
False
Let o = -3347 + 1984. Do -1363 and o have the same value?
True
Let n = -192 + 193. Let g = -121/30 + 122/15. Let m = -17/20 + g. Which is bigger: n or m?
m
Let r(w) = -6*w**3 + 6*w + 4. Let j be r(-4). Suppose u - 4*k = 103, -3*u = -4*k + 23 - j. Is u smaller than 119?
False
Let d = -22069/308 + -46/77. Let f = 145/2 + d. Which is smaller: f or -0.39?
-0.39
Let v(b) = 22 + 40*b - 25*b - 21*b. Let c be v(11). Let d be 12/66 + (-25)/c - 3. Are d and 0 nonequal?
True
Suppose 79*k + 63*k + 6532 = 0. Which is smaller: -21 or k?
k
Suppose -3639 = -26*q + 8893. Let j = -490 + q. Which is greater: j or -11?
j
Let d = 1085.7 - 1085.4. Suppose p + g - 2 = -0, -5*g = -4*p + 26. Suppose -p*q - 10 - 2 = 0. Is d > q?
True
Suppose 11*n - 6*n - 3822 = -p, -4*p + 8 = 0. Which is greater: 3813/5 or n?
n
Let j be ((-4 - -12) + -13)*10338/(-95). Let v = -544 + j. Which is greater: v or 0.3?
0.3
Let q be (-1)/(-2)*(1 + 9). Suppose 356 + 1752 = 31*g. Let w = -64 + g. Is w < q?
True
Suppose 35 = 11*s - 9. Let m(p) = p**2 - 3*p + 9. Let q be m(s). Let k be (0/1)/(q - 16). Is -2/155 at most as big as k?
True
Let g = -43 - -38. Suppose -3*m + 5*k + 183 = -7*m, 50 = -m + 3*k. Let z = -48 - m. Is z greater than g?
True
Let d(l) = -l - 3. Let g be d(0). Let m = 898 + -517. Let v = -380.8 + m. Is v bigger than g?
True
Let s = 2 + -8. Suppose 33*r - 28*r - 10 = 0. Let k(u) = 4*u - 14. Let c be k(r). Are c and s equal?
True
Let c be 58/(-3)*6/(-4). Let y = -240 + 242. Suppose -3*s + n = -y*s + c, 3*s + 4*n = -59. Is -26 greater than s?
False
Let s = -10 - -13. Let r = s + -57. Let w = 637 - 692. Which is smaller: r or w?
w
Let w be (-35)/(-165) + (-1)/(-3). Let t = 399.92422 - 0.02422. Let v = t + -400. Which is smaller: v or w?
v
Let t = 0.82 - 0.02. Let l = -6307.72 - -6307.55. Which is greater: t or l?
t
Let l = 4108 - 4019. Is -75 at most l?
True
Let r be 3/6*10 + 99. Let y = -104 + r. Which is smaller: y or 4/57?
y
Suppose 2*h + h - 333 = 0. Suppose -5*g - 274 + 72 = -2*c, -g - 551 = -5*c. Is h at least as big as c?
True
Let a = 19 - 8.2. Let b = 41 - a. Let i = b - 30. Is i >= -12?
True
Let l = -32.69 - -33. Let s = 0.22 - l. Let n be 88/(-22) - (132/15)/(-2). Which is smaller: n or s?
s
Let b = -42593 + 42591. Let h = 0.9 + -4.5. Let c = 0.6 + h. Which is bigger: b or c?
b
Suppose 4*u - 4 = 0, -22*y + 26*y + 8 = 4*u. Which is greater: 22/119 or y?
22/119
Let a = 5086 + -5083. Is a less than or equal to -179?
False
Let v(q) = -q**2 - 8*q + 8. Let o be v(-3). Which is smaller: 543/25 or o?
543/25
Let l(k) = 6*k**2 - 118*k + 270. Let f be l(17). Let t be 22/(-10) - 1/(-5). Let v be 6/t*2/6. Are f and v nonequal?
True
Let z = 21.955 + -21.905. Which is greater: z or -666?
z
Let v = -2022 - -2055. Which is smaller: v or 3.3?
3.3
Let v be (-5)/(-20) + ((-40296)/(-644))/(8/7). Let q = -55 + 230. Suppose 0 = 5*c - x - 273, c - 5*x = 4*c - q. Does v = c?
True
Let w be (-10 - -9) + (-2 - -8). Suppose 48 = -w*t - 22. Which is smaller: t or -7?
t
Let p = 4 - -16. Let o be ((-3)/((-1725)/10))/(2/p). Let v be 4*(-3)/(-36)*-3. Is o smaller than v?
False
Suppose 2*p + p = 5517. Suppose 4*a = -5*s + p, -22*s = -19*s - 3*a - 1098. Is 366 at most as big as s?
True
Let d = -43 - -41. Let s = 104.9 + -97. Let q = s + 0.1. Which is smaller: d or q?
d
Let c = 152.73 - 1.73. Let b = c - 151. Which is smaller: b or -9?
-9
Let r = 2/32645 + 5876086/228515. Let i = 214.825 - 213.825. Which is bigger: r or i?
r
Suppose 4*h + 4*r - 44 = 0, h - 29 = -2*h + r. Let i(m) = -m**3 + 10*m**2 - 22. Let t be i(h). Which is smaller: t or -19?
t
Suppose 0 = u + 8 + 16. Let x be 1/(-5) + u/(-20). Let j be -7 + 137*(7/(-133))/(-1). Is x > j?
True
Let z(a) = a**3 - 7*a**2 + 9*a - 21. Let h be z(6). Let v be ((-2610)/(-12) - h)*(-6)/(-9). Are v and 149 non-equal?
True
Suppose -3*h - 2*u = -18, -h + 4*u - u - 5 = 0. Suppose -12*z = -h*z. Which is bigger: -2/509 or z?
z
Let r be 10/(-6) + 2 + (-4304830)/(-285). Which is smaller: 15107 or r?
r
Let w be (-25)/(-800)*-12 - ((-44206)/(-112) - 2). Suppose -5*s - 1021 = 939. Let n = s - w. Is n less than or equal to 1?
False
Let q be (4 - (-4730)/(-1190)) + 2/17. Let j be (2 - 1) + (-14)/(-4). Which is smaller: j or q?
q
Let a = -5.9054 + -0.0946. Is a <= -260?
False
Let i be (1990/180 + -11)/((-164)/12817578). Let y = 4342 + i. Is -1 at least y?
False
Let p be -1 + 4/((-16)/(-1948)) - 3. Let r = p + -271. Are r and 212 non-equal?
False
Suppose u = j - 58, 125*u - 123*u + 2*j = -116. Suppose 2*o = 45 - 161. Is u equal to o?
True
Let y(v) = -23*v + 4. Let b(j) = 15*j - 3. Let z(c) = 7*b(c) + 5*y(c). Let a be z(0). Is -9/35 bigger than a?
True
Suppose 3*i - 115 = -1. Let m be 3/(6/i) - -2. Let w be (9 - (10 + -2))*(20 + 1). Are w and m equal?
True
Let q be (-2 + 1)/1*(-11 - 9). Let z = 80357/4123 - -48/589. Is z at most as big as q?
True
Let d(c) = 139*c + 51. Let l be d(-3). Let h = l + 360. Which is greater: -9 or h?
h
Let h(t) = -5*t**3 - 17*t**2 - 5*t - 84. Let c be h(-8). Which is greater: 1429 or c?
1429
Let u be (-38)/(-3)*-49 + 532/(-399). Do -624 and u have different values?
True
Let w(p) = 4 + 11 + 2*p - 11 + p. Let n be w(-2). Let l be (n/(-13))/1 + (-2)/13. Are l and 12/25 unequal?
True
Let p(b) = -b - 1. Let i be p(-4). Let y = 61 - 59. Suppose 0 = -y*f + i*f + 18. Is f greater than -19?
True
Let w = -313 + 313. Suppose 3*l + 5*m - 6*m - 306 = w, -5*l + 5*m = -500. Is 103 greater than l?
False
Let l = -153/41 + 32791/8897. Are l and 0 non-equal?
True
Suppose 66*j - 71*j = -3*k - 452, 4*j + 20 = 0. Which is smaller: -160 or k?
-160
Let v be 0 - (-4)/(-14) - 648/84. Let i be v/2 - ((-501)/162 + -1). Which is smaller: -1 or i?
-1
Let h = -5 - -6. Suppose -2*r = 3*c - 14, c - 31 = -c + 3*r. Is c > h?
True
Let i(k) = 17*k**2 + 18 + 10*k**3 - 11*k**3 - 14*k - 3*k. Let y be i(16). Let j be 88/2090*(-5)/y. Which is smaller: -1 or j?
-1
Let t = -35 - -28. Let h = -11 - -13. Let f be (h/(-8))/((-3)/8). Is t smaller than f?
True
Let d = 263 + -204. Suppose d*l = 57*l - 68. Is l bigger than -37?
True
Let h = -34451.2 - -34452. Which is smaller: -0.066 or h?
-0.066
Let i be 218*-1*30/1716. Let y = -7/13 - i. Which is bigger: 4 or y?
4
Suppose -u - 11*p + 10*p = 2437, -2*p - 7307 = 3*u. Which is smaller: u or -2432?
u
Let n = -80.4 + 80.5. Suppose 3*j = 4*c + 464, 2*j - 2*c = -0*j + 310. Suppose -5*i = -299 - j. Is i less than or equal to n?
False
Let p be (-1)/(-13)*67 - 4/26. Suppose -f - 5*z - 129 = f, -345 = p*f + 5*z. Let s be (-2)/(-56)*f/(-162). Which is smaller: s or 0?
0
Let u be 13*(-3 + 0 + 6 - 1). Let w(g) = 20*g - 339. Let a be w(u). Is a bigger than 2/3?
True
Let v(u) = 15*u**3 + 10 - 2*u - 6*u**2 - 2*u**3 - 12*u**3. Let j be v(2). Is j bigger than -1/6?
False
Let t be -5 + 1 - (-7)/((-35)/25). Suppose p + 4*h + 4 = -p, -3*h + 42 = -3*p. Do p and t have the same value?
False
Let o(j) = 119*j + 49. Let s(f) = 10*f + 4. Let t = 8 - -27. Let b(a) = t*s(a) - 3*o(a). Let u be b(2). Is -23 at least u?
False
Let g = 19.584 + -17.584. Is 1/241 at least as big as g?
False
Let t = -3 - -4. Let y = 12540 - 12488. Which is smaller: y or t?
t
Let h be (-934)/(-5) - ((-243)/15 - (-14 - 3)). Suppose 2*b + 374 = 4*b. Is b >= h?
True
Suppose 0 = -7*i + 18*i - 396. Let s be (2/(-30))/(8/i). Which is bigger: s or 0?
0
Suppose 0*u - 4*u = -112. Suppose 119 = 4*a - l, -a - 40 + 75 = -l. Are a and u equal?
True
Let v(f) = -f**3 + 14*f**2 - 17*f + 83. Let b be v(13). Let d = -40 - -66. Is d at most as big as b?
True
Let q be (-2 + 5 - 1)/2. Let m = 4/20923 - 8987/104615. Which is bigger: m or q?
q
Let c(l) = 6*l - l**3 - 5*l + 1 - 25*l**2 + 24*l**2. Let d be c(-1). Suppose d = 9*u - 15*u + 6. Which is bigger: u or -1/31?
u
Let m = -8/415 + -2679966/5395. Let s = m + 497. Let u = 4 + -5. Which is smaller: s or u?
u
Let y = -16485554/122883325 - -996/97915. Let t = 3/25 + y. Which is smaller: 1 or t?
t
Let c be 3/(-18) - (1015/30)/7. Let d(g) = -2*g**3 - 11*g**2 - 3*g + 10. Let p be d(c). Let a be 14/(-90) + 6/10. Which is smaller: p or a?
p
Let g(p) = 7*p**3 - 168*p**2 - 175*p - 1. Let w be g(25). Which is smaller: w or -14/1251?
w
Let m = 400 + -683. Let r = m + 282.8. Is 83 bigger than r?
True
Let x = -1199 - -4699. Let n be x/1771 