f = -0.12591 - -0.02591. Which is greater: f or -318?
f
Suppose -213*j + 90 = -208*j. Let u(l) = 2*l**2 - 35*l - 8. Let h be u(j). Which is bigger: 45/4 or h?
45/4
Let k = -33 + 37. Suppose 0 = -k*v - 4*h + 224, -5*h + 5 = -5. Let w be (v/(-45))/((-23)/(-5)). Are 0 and w unequal?
True
Let f be (5 - -9)*(6152/(-24) + (-4)/6). Which is greater: f or -3597?
-3597
Let q = 4186 + -4180. Is -35 less than q?
True
Suppose 5*r + 5*l + 0*l = -25, -4*l - 11 = -5*r. Let o = 49147 + -735553/15. Let b = 110 - o. Which is smaller: b or r?
r
Let b = 498885/217 + -2299. Let h be 26148/5859*(-1)/2. Let v = b + h. Is v equal to -2?
False
Let u(l) = -l + 1. Let d be u(-19). Let m = 71 + -61. Is m >= d?
False
Let z be 7 + 4*8/32. Suppose 2*d - 8 = 3*x, 4*x - 5*x - z = -2*d. Is -144 equal to x?
False
Let o = -3.06467 + 0.06467. Let d = 3 - 0. Let n = d + o. Which is bigger: 0.95 or n?
0.95
Suppose -4*p + 44 = 5*s, 2*p - 7*p + s = -84. Let l be (-2373)/39 + p/(-104). Which is smaller: -121/2 or l?
l
Let g = -586.681 - -586. Let w = g - -0.481. Which is smaller: w or 1?
w
Let i be ((-12)/(-80))/(1/(-4)). Let c be (-8*957/(-176))/((-6)/(-161)). Let y = 1167 - c. Which is smaller: i or y?
i
Let b be 1079/4 + 15/12. Do 267 and b have different values?
True
Let s(k) = 469*k - 503. Let v be s(7). Is 2780 less than v?
False
Let k(y) = -2*y**3 - 12*y**2 + 15*y + 16. Let a be k(-7). Let i be ((-10)/(-40))/(2*a/2568). Which is smaller: i or 35?
35
Let j be (27/(-36))/((-12)/(-64)) - 117. Let p be -122 - -1 - (-1 - -1). Is j at least p?
True
Let v be 2 - (24/16*-6 - -5) - 91. Is v greater than or equal to -48?
False
Let s be 45548763/11484 + 2/(-66). Does 3967 = s?
False
Suppose 5*c - g - 583 = 1342, 3*c = -4*g + 1132. Is c bigger than 384?
False
Suppose -84*f = -4*v - 89*f + 227, 2*v - 111 = -5*f. Is 640/11 < v?
False
Let n = -260 + -1410. Let g be 1 + (-4 - (-557115)/333). Let u = g + n. Are u and 0 unequal?
True
Let c = 1561.5 - 1561.3. Which is greater: 3459 or c?
3459
Let o be (-8 + 1/(-9)*-138)*21/4. Which is greater: 39 or o?
39
Let d = 1169 - 1170. Is d equal to -53/77?
False
Let t = 439.7 - 434. Let h = t - 5.5. Is h less than -79?
False
Suppose -p - 1 = 0, d - 6*p - 14 = -2*p. Let c be 2/(d/145) + -4. Suppose c = -t - 13. Do -39 and t have the same value?
False
Suppose -3*j = 2*c - 55, -3*c + 77 = 5*j - 8. Does -6/73 = c?
False
Let n be (1*3)/((-6)/(-20)*5). Suppose -30 = 4*p - n*r + 16, 0 = p + 4*r - 2. Is p at most -39/4?
True
Suppose -87 = -5*s + 4*m - 179, 5*s + 95 = 5*m. Which is smaller: s or -24?
-24
Let y = 9 + -5. Let h be (-414)/(-15)*(-20)/8. Let i = 66 + h. Which is smaller: y or i?
i
Let c = 2/289 - -1977/6647. Let b = c - 53/552. Which is bigger: b or -1?
b
Let b = -359 - -440. Which is greater: 565/7 or b?
b
Let l = 6/11 + -40/33. Let t = 152.9577 + 0.0423. Is t at most as big as l?
False
Suppose -658*j = -694*j + 108. Is -2/971 less than or equal to j?
True
Let u = -30 + 29.954. Let k = 0.08 + u. Let d = k + -0.034. Is d greater than or equal to 0.16?
False
Suppose -a - 4*s - 12 = 0, 0*s = -4*a - 4*s. Suppose -3*c + 12 = i, -a*i + 2*i + 3*c = -60. Are 28 and i nonequal?
True
Let x(t) = -t**2 + 3*t + 14. Let o be x(0). Suppose 0 = -b + o + 16. Suppose -3*s + 95 = 2*d + 23, -80 = -2*d - 5*s. Are d and b nonequal?
False
Let d = -547 - -572. Let i be (-14)/(-120) + d/(-125). Are 3 and i non-equal?
True
Suppose 19*f - 33*f = -42. Suppose -4*m + 2*s - 159 + 45 = 0, f*s = -3. Which is smaller: m or 3?
m
Suppose -5*t = -5*i + 40, -7*i + 2*t = -10*i + 34. Suppose 19*y - 9 - i = 0. Which is greater: 51 or y?
51
Let l = 0.3586 + -0.2586. Is 169/8 less than l?
False
Let n = 13895 - 803. Is -1 < n?
True
Let u = -24/239 - 53942/717. Is -74 >= u?
True
Let f = 38 + -78. Let t = -69.3386 - 0.0614. Let q = 69.3 + t. Which is bigger: f or q?
q
Let p = -41707 - -19924. Which is bigger: p or -21782?
-21782
Let r be (-1 + 1416/1422)/(19/114). Is -1 smaller than r?
True
Let q be (-161)/(-5) - 17/85. Suppose 5*k + 2715 = -3*n + 2803, -k = -4*n + 125. Are q and n equal?
False
Let k = -4923 - -4504. Is -2/9 < k?
False
Suppose 19 = 6*i - 29. Let n be -6*(228/i + 1). Which is smaller: n or -351/2?
n
Suppose 5*c - 5*r = 1845, -r = -c + 3*c - 747. Let y = -7814/21 + c. Which is bigger: 0 or y?
0
Let r be 0 - (2 - (-6792)/10). Let w = -687 - r. Let g be ((-2)/6)/((320/16)/420). Is w > g?
True
Let z(n) = -n**3 + 4*n**2 + 3*n + 3. Let k be z(4). Let j(x) = 47*x - 20. Let s(f) = 23*f - 1. Let l(c) = -j(c) + 2*s(c). Let t be l(k). Is t smaller than 5?
True
Let i(y) be the second derivative of -5*y**4/4 - 32*y**3/3 - 6*y**2 + 507*y. Let p be i(-4). Let t be -1 - (-1 + (-42)/8). Which is smaller: p or t?
p
Let a = -25840.5 + 25840. Is 3129 greater than or equal to a?
True
Let b(i) = 2*i**3 + 23*i**2 + 4*i - 19. Let a be b(-13). Which is bigger: a or -580?
a
Let r(m) = 2*m + 13. Let b be r(-4). Suppose l - 468 = b*l. Let u = l - -169. Which is smaller: u or 53?
u
Let x(b) = 3*b**3 + 20*b**2 + 10*b - 10. Let o be x(-6). Let w be (-900)/(-24) + -8 + (-3)/o. Are 195/7 and w unequal?
True
Let v be 1/(2 + -385)*1. Suppose 3*m - 6*z + 1047 = 1086, z + 11 = 5*m. Which is bigger: v or m?
m
Let a be (-15 - (-145)/10)*(-1)/4. Which is smaller: a or -0.252?
-0.252
Let a be (-1)/2 - (-2)/(-8) - (-1014)/1352. Is a < -17/489?
False
Let s be (-5012)/22 - (-2)/(-11). Let v = 124 + s. Let i be (v/39)/((-2)/12). Which is bigger: 15 or i?
i
Let q(h) = -106*h + 70. Suppose -22*d + 18*d = -8. Let a be q(d). Does a = -143?
False
Suppose -875 - 3051 = 6*i + 3748. Is -1277 greater than i?
True
Let s be 21614/10465 - 12*8/240. Let i = s - 6/455. Is 3 smaller than i?
False
Let m = -89.45 - -40.34. Let t = m - -49. Is 1/7 equal to t?
False
Let u be 1*((-3 - -2) + 284). Let s(f) = f**3 + 17*f**2 + 8*f - 65. Let g be s(-6). Is u greater than g?
False
Suppose 0*x - 3*x = -1635. Suppose 3*p + 108 = 3*r + 435, -5*p = -r - x. Is p <= 110?
True
Let z be 22/297 + 335/(-2700). Suppose 3 = 2*b - 3*b - l, 0 = -3*b + 2*l + 6. Suppose -4*c = -4 - b. Which is greater: c or z?
c
Let c = 28 + -14. Let v be 0/((-13)/6 + 21/126). Suppose -3*q + v*q = 3*y - 9, -2*q = -2*y - c. Is q equal to -5?
False
Let c = 6.03 - 0.03. Let i = c - 6.029. Let d = 0.029 + i. Which is smaller: -23 or d?
-23
Suppose 4*a = 4*y + 292, 0 = 5*y - 2*a - 641 + 1006. Which is smaller: y or 16?
y
Let w = 273 + -273. Let a be w + 3 - (4 - 0). Which is greater: a or 2.7?
2.7
Let t = -829.9 - -848.9. Let a = -34.953 + -0.047. Let c = t + a. Which is smaller: -2 or c?
c
Let g(c) = 75*c - 1086. Let a be g(16). Is -7 != a?
True
Suppose 2*m = 7*m - 315. Let q = 53 - m. Let s be -2*(3 - (-10)/4). Which is smaller: s or q?
s
Let n = -24293 + 22855. Which is smaller: n or -1437?
n
Let l(w) = w**3 - 7*w**2 + 3*w + 17. Let n be l(6). Let y be (8 - 3 - n) + -2. Suppose 5*a - 12 = -y*r, 2*a - 1 = 5*r + 17. Which is smaller: r or -24/11?
-24/11
Suppose -4*n + 593 = -23. Let f(r) = -2*r**3 - 22*r**2 - 14*r + 2. Let y be f(-11). Is n less than y?
True
Suppose -58*x + 18*x = 241720. Is -6043 equal to x?
True
Suppose g = 6*g - 30. Suppose -g*f = 4*f + 850. Let o = f - -82. Is o smaller than 0?
True
Suppose 0 = -4*f + 20 - 36. Let r be f - ((-15)/(-25) - 1)*5. Let s = 1053 + -7384/7. Is s at least r?
True
Suppose -100*t - 23528 = 97*t - 283962. Which is bigger: 1324 or t?
1324
Suppose 5 = 5*l + 3*z, -5*l + 5 = -3*z - z. Is 4/263 equal to l?
False
Suppose -47*n + 3*z = -50*n - 54, -2*n - 5*z = 15. Is n equal to -541/22?
False
Let l = 2962 + -9848. Is l not equal to -6885?
True
Let p(u) = 43*u**2 - 50*u + 181. Let z be p(3). Which is bigger: 416 or z?
z
Suppose 0 = 52*h + 978 - 2850. Let g be (-6 + 3)/(h/384). Is -34 equal to g?
False
Let i(b) = b**2 - 3*b - 3. Let n be i(7). Let v = -1042/41 + 10/123. Let f = n + v. Which is bigger: f or -0.4?
f
Let c = 112 + -112. Let i = -42 - 27. Which is greater: i or c?
c
Let z = 7173 - 7173.5. Is 0.0375 != z?
True
Let i be 12/30 + 1/((-10)/4). Let c = -4 + i. Let b be ((-2)/(-8))/(8/c). Which is greater: b or -5?
b
Suppose 14 = -2*m + 4*g, -m = -2*g + 7*g - 14. Let j be m/7 + (-1599)/(-168). Which is smaller: 10 or j?
j
Let m = -177793/4 + 44448. Are m and -1/8744 non-equal?
True
Suppose -8*o + 169 = 25. Does o = 18?
True
Suppose 0 = 14