 greater: 3 or d?
d
Suppose 13*h + 18*h - 13330 = 0. Let k = -414 + h. Is 12 less than or equal to k?
True
Suppose -22 = -26*j + 25*j. Let o be ((-24)/(-54))/(j/(-33)). Which is bigger: o or -22?
o
Let g(d) = d**3 - d**2 + 4*d - 1. Let r be g(-3). Let o = 27/5785 + -848162/17355. Let m = o - r. Which is greater: 0 or m?
m
Let c(g) = -g**2 + 26*g - 63. Let h be c(23). Let f be (5 + -10 - -3)/(h/123). Which is smaller: -83/2 or f?
-83/2
Let z = 88/3 - 29. Suppose 113*v - 45*v = 43*v - 125. Are z and v unequal?
True
Suppose 4*g + 8 = 8*g. Let t be 57 + -59 - (0 - (4 - g)). Let l = -16253/32 + 508. Which is bigger: t or l?
l
Let j(h) = 2*h**3 + 317*h**2 + 778*h - 311. Let x be j(-156). Let p = 0.3 + -0.2. Let m = p - -0.9. Is m greater than x?
False
Let l = 36 - 34. Suppose q + 4*q + 3*s = 181, -2*q - l*s + 74 = 0. Which is bigger: 32 or q?
q
Let h = 799 + -675. Let o be (-4557)/h - (-3)/4. Which is bigger: o or -26?
-26
Let i = 4635 + -4628. Are i and 0.332 unequal?
True
Let u = 2290 - 2290.22. Let j = -2 - 3. Let z = 4.9 + j. Is u at most z?
True
Let n = -343635521494/1443929067 + -7689152/100967. Let j = 19186/681 + n. Let f = -286 - j. Which is bigger: 1 or f?
1
Let w be ((-4104)/114)/((-12)/16). Is 31 greater than or equal to w?
False
Let j(q) = 2*q**2 + 6 + 5 + 9 - 22*q - q**2. Let u be j(21). Let k = -163 - -5867/36. Is k bigger than u?
True
Let x(r) = -r**2 - 6*r - 6. Let y be x(-5). Let z = 0.09003 + -0.09603. Are y and z equal?
False
Suppose 4*h = 12, -3*h - 2*h = 8*n - 15. Which is greater: -2/8493 or n?
n
Let w(d) = d**3 - 525*d**2 + 9592*d + 148. Let f be w(19). Suppose -6*s + 3 = -3*s, -4*g + 4*s - 1092 = 0. Which is bigger: f or g?
f
Suppose -5*r + 378 + 382 = 0. Let b = r - 215. Let w = b + 64. Which is smaller: w or 1/97?
1/97
Let g = 43.977 + 0.023. Let w = 2.01 + -2.0683. Let d = -0.0417 + w. Is d >= g?
False
Let z be 126/4*36/27. Let q = -204 - -245. Let x = q - z. Is -6 greater than or equal to x?
False
Let g = -17 + 36. Suppose -5*z = -g + 4. Suppose -2*d + 7 = -z*d. Is d > 3?
False
Let g(p) = -3*p + 28. Let i be g(-10). Let s = 47 - i. Is s at most as big as -14?
False
Suppose 19*c = -3808 + 654. Are -173 and c unequal?
True
Let k = 22919.8 + -22919. Which is smaller: k or -578/3?
-578/3
Let b = 3044/19 - 160. Let k = -15 - -12. Let g be 2*((-15)/10)/k. Which is greater: b or g?
g
Suppose 4*q - 2*k - 2 = -0*k, 0 = 2*q + k + 1. Let a(s) = -s**3 + 15*s**2 + 14*s + 175. Let f be a(17). Let w be 84/140 + 139/f. Which is smaller: q or w?
w
Let m(n) = -n**3 + 10*n**2 + 9. Let z be m(10). Suppose -348*w + 2961 = -867. Which is smaller: w or z?
z
Let q = 5 - 3. Suppose 0 = q*i - 3*k - 47, 4*i - k - 86 = 3. Let h = -213 + 234. Is i not equal to h?
True
Let k be -5*-16*(-6)/(-60) + -8. Which is smaller: k or -1241?
-1241
Let f = 209 - 204. Suppose -2*v + 146 = -f*p, -12*p + 7*p + 5*v - 155 = 0. Which is greater: p or -248/9?
-248/9
Let w be 2/(-13) - (-7 - (-390855)/57057). Let u = 2624/1463 + w. Which is bigger: 3 or u?
3
Let q = 19111 - 171329/9. Which is smaller: q or 73?
73
Let j be -7 + 54/(-4)*-2. Let b be (25 - j) + 1194/(-239). Is 1 less than or equal to b?
False
Let g = 1225 + -817. Let c = 452 + g. Let z be (8/(-6))/((c/(-6))/5). Which is smaller: z or 1?
z
Let w = -4869/5 - -11018552/11315. Do -1 and w have the same value?
False
Let j be (-1128732)/125412 - (-7 + -2). Which is greater: 1 or j?
1
Suppose 2*w = w + 11. Suppose h - w + 7 = 0. Let j be (h - -3)/((-4)/5 - -1). Which is smaller: 33 or j?
33
Let x = -7185 + 7195. Let z = 2.9 + -1.5. Which is smaller: z or x?
z
Let z(s) = -s**3 + 14*s**2 + 19*s - 18. Let q be z(15). Let r be 13*2*-3*7/q. Which is smaller: -5 or r?
r
Let y = 19014832/16163 - 31/2309. Is 1177 equal to y?
False
Let p be 15/((-408)/(-32) - 12). Is 363/17 <= p?
False
Let r = -6 + 3. Let n be (-6 - r)*(-2)/(-51). Suppose 0 = 3*j - 5*a + 4 - 1, 0 = -j - 4*a - 1. Is n <= j?
False
Let c be 3 + (0 - 1 - -3 - 1903/346). Let v(f) = f**2 - 8*f - 1. Let o be v(7). Let l be (27/30)/(o/10). Which is smaller: c or l?
l
Let w be (-5*(-10)/25)/((-4)/(-62)). Suppose -10 = -w*o + 30*o. Let p(q) = -2*q - 5. Let r be p(-8). Which is smaller: r or o?
o
Let d be (7 + -7709)/(1 + 10). Let v = d - -700. Which is greater: 77 or v?
77
Let t = -385096/219 + 5275/3. Which is bigger: t or 1?
1
Let x = -1677443335/236181 - -78126/11. Which is greater: x or 1?
1
Suppose n - 3*n = -104. Suppose 5*z = -2*o + 3*o - n, 0 = 3*z + 15. Suppose 40*b - 986*b + 1892 = 0. Which is smaller: o or b?
b
Let a = -528 + 1056. Let g = a + -531. Is g greater than 0.5?
False
Let o(w) = -2*w**3 + 335*w**2 - 810*w - 2450. Let v be o(165). Let a = 12566/5 - 2488. Which is smaller: a or v?
v
Suppose -4*b - 4*w = 316, -79*w + 304 = -4*b - 81*w. Are b and -69 nonequal?
True
Suppose 11*w = -19 + 41. Suppose 6*z - 22 = -w*n + 2*z, -3*n = -2*z + 7. Is 6/91 != n?
True
Let o = 3781488/599 - 6313. Is -0.2 not equal to o?
True
Let b = -200770329 - -4574551945066/22785. Let o = b - 4/465. Is o smaller than 0?
True
Let l(q) = -819*q + 6679. Let d be l(8). Let p be (252/(-1))/(-2) - -3. Is p less than or equal to d?
False
Suppose 5*i - 33 = 4*n, -13*i - 22*n + 34 = -25*n. Let c = 2871 + -1128304/393. Is c > i?
False
Suppose 3*j = -2*j + 375. Let o = j - 50. Suppose 17*u - 12*u = o. Are -1/3 and u nonequal?
True
Suppose 0 = i - 155 + 228. Let a = i + 55. Which is smaller: a or -153/8?
-153/8
Suppose 5*z + 4*y = -0*z - 5, 3*z = 2*y - 3. Let s(g) = 0*g**2 - 2*g + 4*g**2 + 2*g**2 + 0 - 7*g**2 - 1. Let k be s(z). Do k and -3/22 have the same value?
False
Let q = -0.02 - 0.056. Let s = -0.576 - q. Is s >= 7?
False
Let s = -113888 - -455563/4. Suppose -3*z + 40 = 5*h + z, 0 = -5*h - 5*z + 45. Suppose i = h*i - 12. Is s at most as big as i?
True
Let q(h) = h**3 - 6*h**2 + 7*h + 8. Suppose -2 = -4*p - 2*j, 7*p - 2*j - 25 = 2*p. Let b be q(p). Let s = 1044 + -5203/5. Which is greater: s or b?
s
Let w be 177/(-106) - 12/(-8)*1. Which is smaller: w or -1?
-1
Let d be -4*2093/(-949) - (-2 + 10). Which is smaller: 2 or d?
d
Let d be ((-1556)/20 - 3)*(-80)/16. Which is smaller: d or 396?
396
Let h(f) = -f + 14. Let b be h(6). Suppose 2*p - 4*p + b = 0. Let t be 2/(-12) - (p - 1774/420). Which is bigger: t or 0.1?
0.1
Let k = 2771.49 - 2767. Is -1/9 greater than k?
False
Let p = -36.3 - -280.3. Let s = p - 244.04. Is s > -18?
True
Suppose 0 = 3*k + 24 - 30. Let m be (72/k)/((-9)/(-6)). Suppose 0 = 5*x - 4*g - 25, -4*g = -8*x + 4*x + m. Is 2/51 less than x?
True
Let w = -0.37 + 36.37. Let h = -21382 + 21346.062. Let t = h + w. Which is smaller: t or -1/4?
-1/4
Let j = 30 + -95. Let n = -119 - j. Let o = n - -52. Is 16 < o?
False
Suppose 18*j + 20 = 13*j. Let k be ((-8)/(-3))/(5 + j). Suppose -5*t = 2 - 17. Is k > t?
False
Let b(o) = 59*o + 1324. Let q be b(-21). Which is greater: q or 2/15?
q
Let l = -4.135 + 3.335. Do -126 and l have the same value?
False
Let a be 3/(-5)*2/(-3). Let z = -43968.1 - -43968. Which is smaller: a or z?
z
Let t(h) = -h - 32. Let d(f) = 31. Let n(k) = -5*d(k) - 6*t(k). Let a be n(-6). Which is smaller: 0.1 or a?
0.1
Suppose -2*n + 35*u = 39*u + 1164, -1748 = 3*n + 4*u. Which is bigger: -21 or n?
-21
Let o(s) = s**2 + 19*s + 51. Let v be o(-3). Suppose v*n = 3*d + 18, 3*d + n + 5 + 5 = 0. Which is smaller: d or -6?
-6
Suppose 11960 = 36*a + 56*a. Do 64 and a have different values?
True
Let x be 4/(-22)*(-8 - 3). Let g be x/7 - (-7992)/(-20034). Do 0 and g have different values?
True
Let y = 3 + 6. Let z = 9538.3 + -9538.2. Which is bigger: z or y?
y
Let r = 1403 + -1259. Are r and 0.3 unequal?
True
Let u(y) = -y**3 - 18*y**2 - 81*y - 1. Let k be u(-9). Is 31/174 equal to k?
False
Let m(f) = f**3 + f - 30. Let z be m(0). Let t = -16 - z. Let v = -335.8 + 336. Which is smaller: t or v?
v
Let o = 47.89 - 47.9. Let v = -29 - -47. Which is bigger: o or v?
v
Let q be 92/(-920) + (-28982)/(-117320) + (-2)/14. Which is greater: q or 1?
1
Suppose -3*s = s. Let m be 1 + (-76)/190 + (-2)/((-320)/(-86)). Which is greater: s or m?
m
Let n(b) = b**3 + 8*b**2 - b - 3. Let s be n(-7). Let a = -451 - -500. Which is smaller: s or a?
a
Let a(l) = -34*l + 515. Let k be a(15). Let y(r) = -r - 1. Let d be y(-1). Suppose d = 5*o - 5, i + 11 = 5*i - k*o. Which is smaller: i o