reater: m or h?
m
Let k = -1418 - -1183.3. Let r = k + 235. Which is greater: r or 7/12?
7/12
Let a = -157.5 + 10.5. Let i = a - -147. Is 6/13 less than i?
False
Suppose -t = -5*v - 4*t - 5, 25 = 5*v - 3*t. Let j be 2/5 + (-1782)/(-70) + v. Which is bigger: j or 29?
29
Let u be 1844/(-68) - 58/(-493). Is u at least 6?
False
Suppose -4 = -0*a - 2*a. Let g be 306/8 + a/((-8)/(-3)). Let u = -24 + g. Is 15 greater than u?
False
Let b be (-1337)/115746*6/(-5). Is 0 smaller than b?
True
Let i = 75 + -74. Let z be i*2 + (-258)/30. Let n = z - -51/10. Are -0.1 and n non-equal?
True
Let q(n) = -16*n**2 - n + 1. Let d be q(-2). Let u(f) = 2*f**2 + 191*f - 749. Let v be u(-99). Let m = v - d. Do m and 6 have the same value?
False
Let s = 181485643/183618 - -58/30603. Let x = 1935/2 - s. Is x at least 2/5?
False
Let l = 41 - 34. Suppose 0 = 6*k - l*k - 5. Let h be ((-5)/24)/((-68)/12 - k). Which is bigger: -1 or h?
h
Let h be (-15)/(-135) + 1185/27. Suppose w + 2 = 2*x, -5*w + 1 = -5*x - 4. Suppose -w*p + 23 + 153 = 0. Is p greater than h?
False
Suppose -66*v + 22992 = 1736 - 3560. Which is smaller: v or 3394/9?
v
Let s = 550 - 551.9. Let a = -6.1 + s. Let d = 2 + -4. Is d smaller than a?
False
Suppose -45*x = 38*x. Which is bigger: -49/52 or x?
x
Suppose 20*t = -70 + 410. Suppose 0 = t*d + 375 + 135. Which is bigger: -151/5 or d?
d
Let u(o) = 4*o + 17. Let g(q) = -17*q - 68. Let y(a) = -2*g(a) - 9*u(a). Let j be y(-8). Which is smaller: j or -2/115?
j
Let n be (-3)/(15/(-35)) - 53. Let u be ((-2)/(2 - 4))/n. Suppose -17 = -5*r - 4*a, -2*a = -4*r - 5 + 3. Are r and u equal?
False
Suppose 0 = 5*p - 2*q - 63, -3 = -3*q - 0. Let i be (p - 14)/(0 - 11). Let z(x) = 2*x**2 - 33*x - 75. Let y be z(-2). Is i at least y?
True
Let x be -8 + -1 - (-8 + -5). Let b be (-3)/24 - (-273)/264. Which is bigger: x or b?
x
Let n be (-8)/(-24) - (-70)/15. Suppose 280 = n*w + 3*z, -169 = -0*w - 3*w - 2*z. Are 54 and w unequal?
True
Suppose 0 = 2*s - 91 - 81. Let c(h) = h**2 + 38*h + 124. Let v be c(-37). Which is smaller: v or s?
s
Let l(v) be the third derivative of 5*v**4/24 - 40*v**3/3 - 2*v**2 + 14*v. Let q be l(16). Which is smaller: -12/37 or q?
-12/37
Let z = -0.0276 + 0.2276. Are z and 1918 equal?
False
Suppose -10*z + 35 = -65. Let i be ((-8)/z)/((-957)/(-955) - 1). Are -381 and i nonequal?
True
Let n be (-3)/(-2)*4/(-6). Let h = 6904 - 1967642/285. Is n != h?
True
Let n(y) = -4*y - 6. Let t be n(-4). Let d be 24/(-30)*t/(-4). Suppose -5*h + 109 = 4*f, -2*f + 54 = d*h - 3*f. Are 26 and h nonequal?
True
Let c = 37 - 45. Let a = 159 + -152. Is c greater than or equal to a?
False
Suppose -104 = -4*u - 4*x - 1060, 3*x + 476 = -2*u. Let f = 283 + u. Which is smaller: f or 43?
f
Let z be (6/172)/(316/(-474)). Is z != -1?
True
Let t = -1/27027 + -106159/52675623. Are t and -1 unequal?
True
Let i = -22440 - -21666. Is -22/5 less than i?
False
Let c = 100.194575 - 0.175575. Let d = -100 + c. Is -5 bigger than d?
False
Let a(r) = -r**2 - 31*r - 79. Let m be a(-28). Let x be (0 - m)*9/(-198). Which is smaller: 1 or x?
x
Let i = -4285 - -29997/7. Which is smaller: -1/2582 or i?
-1/2582
Let w = -803 - -814. Suppose -5*c + 17 = v, c = -4*c + 4*v + 7. Let h(f) = f**3 - 2*f**2 - f + 4. Let o be h(c). Which is smaller: o or w?
o
Let o = 113 - 168. Let k = 32 + o. Let f = -0.82648 - -0.72648. Do f and k have the same value?
False
Suppose 3*k + 5*x = -13564, -24*x + 22*x = -4*k - 18068. Is -4518 != k?
False
Let h = -14857 - -14856. Let j be 0/(-1 + (-2 - -1)). Suppose t + 12 = 3*i, -5*t + 0*i - 5*i + 20 = j. Is h at most as big as t?
True
Let t = -4619 + 2467. Are -2154 and t non-equal?
True
Let d be (-95872)/(-2912) - (15 - -2). Which is smaller: -1 or d?
-1
Suppose 0 = -26*y + 125 + 31. Suppose -y*p - 2*j - 24 = -4*p, 16 = -4*j. Which is smaller: -7 or p?
p
Let w be (-3)/(-15) - -6*(-18)/(-60). Let p(c) = -17*c**2 - 2*c - 1. Let z be p(w). Is -73 not equal to z?
False
Let q be (44/16 + -4)/(2/(-8)). Suppose 0 = -d + q*o - 13, -2*d + 2*o = 14 + 4. Which is bigger: 0 or d?
0
Suppose -26 = 5*i + 2*p, -4*i + 2 = -3*p + 9. Let b = -24 - i. Let v = 2 + b. Are v and -17 equal?
False
Let u = -156641/4 - -39400. Which is smaller: u or 240?
u
Let i be (-1)/(((-2)/(-1))/(-124)). Let g be (-1)/(-5) + (18884/(-20) - 2). Let m = g - -1009. Is i less than or equal to m?
True
Let o be ((-2040)/2 - -9)/(-2 + -1). Let t = 342 - o. Suppose -4*z + 3*u + 0*u = -4, z - 4*u - 1 = 0. Which is bigger: z or t?
t
Suppose 0 = -4*a + 126 + 38. Let w = 17 - a. Let f be ((-228)/w)/(14/8). Which is smaller: 6 or f?
f
Let d be (-10)/50 - 12/(-10). Let q be (-18)/15*5/2. Let t be (-7 - q) + 50/12. Are d and t non-equal?
True
Suppose -4*w = 5*v - 20, 8 = -2*w - 10*v + 12*v. Let y = -90143/35 - -2575. Which is bigger: w or y?
w
Let d be (16/8 - 0) + (1 - -21). Let r be (-5 - -3) + (-68)/d*-1. Which is smaller: 0 or r?
0
Suppose 15*k - 8*k = 9*k + 106. Suppose 29 + 127 = -3*b. Which is greater: k or b?
b
Let j(m) = -30*m - 1845. Let s be j(-74). Is s != 377?
True
Let k = 54/323 + -352/969. Let d = -8/17 + k. Which is bigger: 9 or d?
9
Let c be ((-12)/8)/((-3)/2). Let f be (0 - (-4)/(-58))/(864/(-612)). Let t = -1/12 + f. Do c and t have different values?
True
Let h = 2/79759 - 253771/578013473. Which is bigger: 0 or h?
0
Let n(x) = x**2 + 22*x + 43. Suppose -140 = 9*s + 40. Let k be n(s). Suppose -3*v - 3*o = 2*v - 8, 0 = -k*v - 3*o + 6. Which is smaller: v or 5/19?
5/19
Let o = 305 - 303. Suppose -o*s = -16 - 0. Are 7 and s unequal?
True
Suppose -29*i - 540 = 28*i - 72*i. Is i <= 45?
True
Let p(f) = -1548*f + 3587. Let c be p(3). Is -1058 at least c?
False
Let f = 12.796 - -3.204. Which is greater: f or 1.38?
f
Let d be ((-182)/14 - -27) + (-11196)/800. Suppose 0 = 3*v - 4 + 1. Which is smaller: v or d?
d
Let m = 795313/29240 - -3/5848. Let a = -135576.1 + 135576. Do a and m have the same value?
False
Let u(o) = 5*o**2 + 41*o - 31. Let a be u(-9). Suppose 2*y = -z + a*z - 2, -4*y = 5*z + 4. Let h be ((-1)/(-2))/((-23)/(-4)). Which is smaller: h or y?
y
Let t = -3184.9 - -3184.9. Is t at least as big as -4011?
True
Let u be (-762)/(-222) + -13 + 9. Are -1 and u unequal?
True
Let q = 1764/899 + -17674/8091. Let d = 258 - 2583/10. Are d and q nonequal?
True
Let h = -1439 - -860. Which is greater: h or -581?
h
Let z be 92/(-20) + 4 - (-138)/5. Suppose z = 3*r - 51. Are r and 23 non-equal?
True
Let q = -108 + 62. Let k be (-10)/(-5 + (1 - 0))*q. Are k and -116 equal?
False
Let i be ((-1)/(-10) - (-3894)/60)*1. Let j = 106 - 106. Is i smaller than j?
False
Let i = 1.97 - -254.03. Let v = -256.058 + i. Which is smaller: v or 1?
v
Let c = 49.8909 - -9.1801. Let y = c - 59. Let i = y + 1.929. Which is bigger: i or -4/11?
i
Suppose -l - 2*l = 87. Let m be 39*((-50)/20)/(3/(-2)). Let n be -45*(m/(-15) + 5). Which is smaller: n or l?
n
Let g(s) = s**2 + 17*s - 8. Let d be g(-18). Let u be d*6*(12/(-5))/6. Which is greater: -71/3 or u?
-71/3
Let y(m) = -60*m + 9. Let q(t) = -8*t - 254. Let v be q(-31). Let u be y(v). Is 369 at most as big as u?
True
Let s(c) = c**3 + 12*c**2 - 16. Let b be s(-6). Let t = b - 254. Is -217/4 != t?
True
Let l = -64763/3669637 - -24/1241. Which is greater: l or 1?
1
Suppose -5*c + 5505 = 5*i, 0 = c - 5*i - 790 - 329. Is c >= 1105?
False
Suppose 7*m + 36*m = 10*m. Do m and 42/185 have the same value?
False
Let f = 7/339 - -989/1356. Is -31 at most as big as f?
True
Let s = 1 - 2. Let u be (s + 16)*(-35)/(-15). Suppose 6*j + 5*j + 11 = 0. Which is smaller: u or j?
j
Let s = 543 + -535. Suppose 2*c + 3*q = 1, 0 = -c - 4*c - q + 35. Is c < s?
False
Let x = 44/403 + -1/31. Let p = 189083/26 - 7271. Let i = p + x. Which is greater: 1 or i?
i
Let l be ((-170)/232509)/((-45)/54). Which is smaller: -1 or l?
-1
Let i = 482.69 + -443. Let r = i - 0.69. Let s = r + -36. Is s greater than or equal to -0.01?
True
Let c = -208 + 207.742. Let d = 4.458 + c. Is d at least as big as -3?
True
Let j = 0.04 - 0.143. Let z = -14.997 + 15. Let q = z + j. Which is smaller: -19 or q?
-19
Let s = 8 - 5. Suppose 0 = 5*d + 5*j - j - 383, 2*j = -5*d + 389. Let h = d + -78. Is h at least as big as s?
False
Suppose -5*p - 86 = 2*n + 15, 0 = -2*p + 5*n - 23. Suppose 3*j - 2*a + 14 - 4 = 0, -5*a = 4*j - 25. Which is smaller: p or 